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