有限

一个 集合，如果包含一个 非负 的整数个元素，则称之为有限集。一个不是有限的 集合 被称为 无限 集。一个有限或 可数无限 的集合被称为 可数 集。虽然“有限”一词的含义在日常使用中相当清楚，但在技术数学中，尤其是在 集合论 中，需要对有限和 无限 进行精确的定义。