为有限集合。集合也可以有无穷多个元素，这样的集合称为无限集合。比如：自然数集便是无限集合。关于无穷大和集合的大小的其他资讯请见集合的势。
公理化集合论.若把集合看作“符合任意特定性质的一堆东西”，会得出所谓罗素悖论。为解决罗素悖论，数学家提出公理化集合论。在公理集合论中，集合是一个不加定义的概念。
类.在更深层的公理化数学中，集合仅仅是一种特殊的类，是“良性类”，是能够成为其它类的元素的类。类区分为两种：一种是可以顺利进行类运算的“良性类”，我们把