[ library(ic_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