
ord_compare(-Rel, +Set1, +Set2)

   Rel is the ordering relationship between Set1 and Set2

Arguments
   Rel                 A variable or an atom
   Set1                A set
   Set2                A set

Type
   library(ordset)

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
