有限*名词解释：有限*是由有限个元素组成的*，也称有穷*。只含一个元素的*是一种特殊的有限*，叫做单元素*，至少含有一个元素的*叫做非空*，不含任何元素的*叫做空集，空集只有一个，一般用希腊字母φ)来表示。
有限*还有两种定义方式：
与自然数串的一个线段对等的*，以及空*，都叫做有限*；不是有限*的*叫做无限*。
不可与其自身的真子集对等的非空*，以及空集，都叫做有限*，不是有限*的*叫做无限*。
定理：
有限*不能与它的任何真子*或真母*对等。
每一个非空有限*与自然数串的一个线段而且仅只一个线段对等。
有限*的任一子*是有限*，无限*的任一母*是无限*。
有限*a的元素数永远大于它的真子*b的元素数。
全部自然数组成的*n，以及含有与n对等的子*的*，全是无限*。
每一个无限*必含有一个可排*。