集合論/特殊型別的集合

定義（餘有限）:

設 $X$ 為一個集合。子集 $A\subseteq X$ 被稱為餘有限，當且僅當 $X\setminus A$ 是有限的。