ord_subset(+ Set1, + Set2)*
Holds when every element of the ordered set Set1 appears in the ordered set Set2.