非空有限集合是至少还有一个元素的有限集合，即令N*是正整数的全体，且N_n={1，2，3，……，n},如果存在一个正整数n，使得集合A与N_n一一对应，且A中元素数不为0，那么A叫做非空有限集合。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。