
ord_superset(+Set1, +Set2)

   Checks whether Set1 is a superset of Set2

Arguments
   Set1                A set
   Set2                A set

Type
   library(ordset)

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, fd_sets : subset / 2, ic_hybrid_sets : subset / 2, ic_sets : subset / 2, lists : subset / 2, ord_compare / 3
