1、集合必须要满足条件：1.集合由元素构成2.一个元素是否属于这个集合是明确的，非此即彼的3.集合本身不能是自己的元素。
2、集合中的元素是没有重复的，若有元素相同，则视为一个元素。当两个几何中的元素完全相同，则称两个元素相等。否则就是不等。如果集合A中元素恒为B中的元素，则称A是B的子集，或称B包含A。
3、集合之间可以运算。集合的运算包括：并、交、补、差、极限及卡氏积。另外，基数是集合所含元素个数的一个度量，对于有限逗垅型巢集合，基数定义为该集合所含元素的个数（空集看作所含元素个数为0），对于无限集，无法用某个数来度量元素的多少，但不同的无限集的元素个数也不同，我们将其按照一一映射分类，将能建立一一映射的两个集合放入同一类，认为它们的元素个数在同一个无限的量级上，即具有相同的基数。
