[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# ord_superset(+Set1, +Set2)

Checks whether Set1 is a superset of Set2

Set1
  A set
Set2
  A set

## Description

Succeeds when every element of the ordered set Set2 appears in the ordered set Set1.

### Modes and Determinism

- ord_superset(+, +) is semidet

## See Also

ord_proper_superset / 2, ic_hybrid_sets : subset / 2, lists : subset / 2, ic_sets : subset / 2, fd_sets : subset / 2, ord_compare / 3