[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_compare(-Rel, +Set1, +Set2)
Rel is the ordering relationship between Set1 and Set2
- Rel
- A variable or an atom
- Set1
- A set
- Set2
- A set
Description
	Rel is the ordering relationship between Set1 and Set2.
	Rel is one of the atoms =, > or <
	
	=    The sets are identical (in the sense of ==/2)
	>    Set1 is a proper superset of Set2
	<    Set1 is a proper subset of Set2
	
	Otherwise the predicate fails.
Modes and Determinism
- ord_compare(-, +, +) is semidet
Fail Conditions
Fails if the sets are not comparable
See Also
@< / 2, ord_seteq / 2, ord_proper_subset / 2, ord_proper_superset / 2