[ library(ordset) | Reference Manual | Alphabetic Index ]

ord_subset(+Set1, +Set2)

Checks whether Set1 is a subset of Set2
Set1
A set
Set2
A set

Description

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

Modes and Determinism

See Also

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