通俗定义：
集合里含有有限个元素的集合叫做有限集 例：{-1，0，1}
严格定义：
令N*是正整数的全体，且N_n={1，2，3，……，n},如果存在一个正整数n，使得集合A与N_n一一对应，那么A叫做有限集合。
空集也被认为是有限集合。