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 。