非空有限集合

定義

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