的子集。依照定义，任一个集合也是本身的子集，不考虑本身的子集称为真子集。集合formula_2为集合formula_7的真子集若且唯若集合formula_2为集合formula_7的子集，且集合formula_7不是集合formula_2的子集。数的算术中有许多一元及二元运算，集合论也有许多针对集合的一元及二元运算：一些重要的基本集合包括空集（唯一没有元素的集合），整数集合及实数集合。其他有关初等集合论的基本介绍，请参考集合。
集合的本体论.若一个集合的所有元素都是集合，所