A set S1 is a superset of another set S2 if every element in S2 is in S1. S1 may have elements which are not in S2.