檢視有限集的原始碼

'''有限集'''合是由有限个元素组成的集合，也称有穷集合。例如，由北京、天津、上海三个直辖市组成的集合，由所有小于10000的质数所组成的集合都是有限集合。<ref>[https://zhidao.baidu.com/question/699612323684439964.html?fr=bks0000&word=%E6%9C%89%E9%99%90%E9%9B%86%E5%90%88 什么叫有限集？]百度知道</ref>  
 {| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
 |<center><img src="https://file1.renrendoc.com/fileroot2/2020-1/13/509ac037-667f-45eb-aeeb-0ff5202dc39b/509ac037-667f-45eb-aeeb-0ff5202dc39b2.gif   " width="180"></center><small>[]</small>
 |}   
只含一个元素的集合是一种特殊的有限集合，叫做单元素集合，至少含有一个元素的集合叫做非空集合，不含任何元素的集合叫做空集，空集只有一个，一般用希腊字母Φ(或{})来表示。例如，如果一个集合是以某班的某次数学测验不及格的学生为元素，而事实上全班学生在该次数学测验中成绩都及格，那么这个集合就是一个[[空集]]Φ。在集合论中，约定空集Φ为有限集合， 空集是一切集合的子集。
有限集合还有两种定义方式。
一个是说与自然数串的一个线段[[对等]]的集合，以及空集合，都叫做有限集合；不是有限集合的集合叫做无限集合。
另一个定义是：不可与其自身的真子集对等的非空集合，以及空集， 都叫做有限集合，不是有限集合的集合叫做无限集合。