Test whether the set is a proper superset of other, that is, set >= other and set != other.
set > other