A.9.17.7 FD set predicates
All Application Manual Name SummaryHelp

Availability::- use_module(library(clpfd)).
Source[semidet]fdset_subset(+Set1, +Set2)
The FD set Set1 is a (non-strict) subset of Set2, i. e. every element of Set1 is also in Set2.