集合论/特殊类型的集合

定义（余有限）:

设 $X$ 为一个集合。子集 $A\subseteq X$ 被称为余有限，当且仅当 $X\setminus A$ 是有限的。