范畴：数学－集合代数

通俗定义：

集合里含有无限个元素的集合叫做无限集，高等数学教材中说"不是有限集的集合" 。

严格定义：

令N*是正整数的全体，且N_n={1，2，3，……，n},如果对于任意正整数n，集合A均不能与N_n={1，2，3，……，n}一一对应，那么A叫做无限集合。

举例：{偶数},{奇数}