[ library(ic_hybrid_sets) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

?Set1 includes ?Set2

Set1 includes (is a superset of) the integer set Set2
Set1
a set, set variable or set expression
Set2
a set, set variable, free variable or set expression