定义9.6.1 如果存在，使集合A与集合 的元素个数相同，就说集合A的基数是n，记作或或。空集的基数是0 。 定义9.6.2如果存在，使n是集合A的基数，就说A是有限集合。如果不存在这样的n，就说A是无限集合。 例如 是有限集合{a,b,c,d}，而N，Z，Q，R是无限集合。 在第12.3节中将给出有限集合和无限集合更为严格的定义。有限集合的基数很容易确定，就是集合中所含元素的个数，无限集合的基数的确定比较复杂，可参考第12.3节。