int(0..1) `<(ADT.Set other)
True subset. A < B returns true if each item in A is also present in B, and B contains at least one item not present in A.