[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_proper_superset(+Set1, +Set2)
Checks whether Set1 is a proper superset of Set2
- Set1
- A set
- Set2
- A set
Description
Succeeds when every element of the ordered set Set2 appears
in the ordered set Set1, and Set1 has at least on element that
does not occur in Set2.
Modes and Determinism
- ord_proper_superset(+, +) is semidet
See Also
ord_superset / 2, ord_compare / 3