超集

定義：如果一個集合S2中的每一個元素都在集合S1中，且集合S1中可能包含S2中沒有的元素，則集合S1就是S2的一個超集，反過來，S2是S1的子集。 S1是S2的超集，若S1中一定有S2中沒有的元素，則S1是S2的真超集，反過來S2是S1的真子集。