有限集合是由有限个元素组成的集合，也称有穷集合。例如，由北京、天津、上海三个直辖市组成的集合，由所有小于10000的质数所组成的集合都是有限集合。只含一个元素的集合是一种特殊的有限集合，叫做单元素集合，至少含有一个元素的集合叫做非空集合，不含任何元素的集合叫做空集，空集只有一个，一般用希腊字母Φ(或{})来表示。例如，如果一个集合是以某班的某次数学测验不及格的学生为元素，而事实上全班学生在该次数学测验中成绩都及格，那么这个集合就是一个空集Φ。在集合论中，约定空集Φ为有限集合， 空集是一切集合的子集。 有限集合还有两种定义方式。 一个是说与自然数串的一个线段对等的集合，以及空集合，都叫做有限集合；不是有限集合的集合叫做无限集合。 另一个定义是：不可与其自身的真子集对等的非空集合，以及空集， 都叫做有限集合，不是有限集合的集合叫做无限集合。