超集的概念

Definition: 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.

定义：如果一个集合S2中的每一个元素都在集合S1中，且集合S1中可能包含S2中没有的元素，则集合S1就是S2的一个超集。