def is_subset(self, other):
        if isinstance(other, Set):
            return self.intersect(other) == self
        else:
            raise ValueError("Unknown argument '%s'" % other)
Returns True if 'self' is a subset of 'other'.
dataset/ETHPy150Open sympy/sympy/sympy/sets/sets.py/Set.is_subset