令N*是正整数的全体，且N_n={1，2，3，……，n},如果存在一个正整数n，使得集合A与N_n一一对应，那么A叫做有限集合。
空集也被认为是有限集合。
说明：很多资料里有限集合也被称为有限集，但是王朝百科里已经有人给出了一个不严密的有限集的定义，这里就用有限集合来定，以示区别。
