什么是超集？

SOFTWARE TESTING 里提到一个超集（SUPERSET）的概念,依稀记得大学时提到过这样一个概念，上网搜了一下，发现定义如下：

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的一个超集。