集合间的关系有“包含”关系--子集，不含任何元素的集合--空集、真子集等。一般我们把研究对象统称为元素，把一些元素组成的总体叫做集合，元素与集合的关系有“属于(∈、∋)”与“不属于(∉、∌)”两种。

集合间的关系

子集：如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。符号语言：若任意a∈A，均有a∈B，则A⊆B或B⊇A。

真子集：如果集合A⊆B，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合A是集合B的真子集。记作A⊊B(或B⊋A)。

空集：不含任何元素的集合叫做空集，空集是一切集合的子集，空集是任何非空集合的真子集。空集不是无；它是内部没有元素的集合。