[ 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