[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
# ord_proper_subset(+Set1, +Set2)

Checks whether Set1 is a proper subset of Set2
*Set1*
- A set
*Set2*
- A set

## Description

Succeeds when every element of the ordered set Set1 appears
in the ordered set Set2, and Set2 has at least on element that
does not occur in Set1.
### Modes and Determinism

- ord_proper_subset(+, +) is semidet

## See Also

ord_subset / 2, ord_compare / 3