def __lt__(self,other): # subpports syntax S < T
    """Return true if this set is a proper subset of other."""
    if len(self) >= len(other):
        return False    # proper subset must have strictly
    for e in self:
        if e not in other:
            return False    # not a subset since element missing from other
    return True             # success; all conditions are met