[ library(ordset) | The ECLiPSe Libraries | 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

See Also

ord_superset / 2, ord_compare / 3