非空有限集合

非空有限集合是至少還有一個元素的有限集合。

定義

即令N*是正整數的全體，且N_n={1，2，3，……，n},如果存在一個正整數n，使得集合A與N_n一一對應，且A中元素數不為0，那么A叫做非空有限集合。