1、确定性：每一个对象都能确定是不是某一集合的元素，没有确定性就不能成为集合，例如个子高的同学、很小的数都不能构成集合，这个性质主要用于判断一个集合是否能形成集合；

2、互异性：集合中任意两个元素都是不同的对象，互异性使集合中的元素是没有重复，两个相同的对象在同一个集合中时，只能算作这个集合的一个元素；

3、无序性：同一集合中元素位置不同；

4、纯粹性：完备性与纯粹性是遥相呼应的。