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