int(0..1) superset(ADT.Set other)
Superset. A >= B returns true if all items in B are also present in A.