1、一般地，我们把研究对象统称为元素，把一些元素组成的总体叫做集合。集合间的关系有“包含”关系——子集、不含任何元素的集合——空集、真子集等。
2、子集是一个数学概念：如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。符号语言：若?a∈A，均有a∈B，则A?B。
3、如果集合A?B，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合A是集合B的真子集（proper subset）。记作A?B（或B?A），读作“A真包含于B”（或“B真包含A”）。
4、如果两个集合S和T的元素完全相同，则称S与T两个集合相等，记为S=T 。