'Returns True if ``other`` is is a subset of ``self``.
>>> from sympy.abc import x
>>> from sympy import QQ
>>> F = QQ.old_poly_ring(x).free_module(2)
>>> F.subset([(1, x), (x, 2)])
True
>>> F.subset([(1/x, x), (x, 2)])
False'

def subset(self, other):

    return all((self.contains(x) for x in other))
