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