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