'Return True if self is a subset of (and may be equal to) other,
False otherwise.'

def __le__(self, other):

    if (self is other):
        return True
    if (not isinstance(other, UniSet)):
        other = self.fam.c_uniset(other)
    return self.fam.c_le(self, other)
