通俗定義集合里含有有限個元素的集合叫做有限集 例：{-1，0，1}嚴格定義令N*是正整數的全體，且N_n={1，2，3，……，n},如果存在一個正整數n，使得集合A與N_n一一對應，那么A叫做有限集合。空集也被認為是有限集合。
