'Return True iff every term in \'self\' is a term in \'other\'.
:param other: ``Clause``
:return: bool'

def isSubsetOf(self, other):

    for a in self:
        if (a not in other):
            return False
    return True
