餘有限空間

维基百科，自由的百科全书

若一個集X的子集Y，使得補集X − Y為有限集，則稱Y為X的餘有限集（cofinite）。

類似地，若一個集X的子集Y，使得補集X − Y為可數集，則稱Y為餘可數集（cocountable）。

餘有限拓撲是將集內所有餘有限集定義為開集的拓撲，這樣的拓撲空間稱為餘有限空間。其性質有：

• 可傳子：餘有限空間的子空間也是餘有限的。
• 緊緻、列緊
• T₁空間而非T₂空間
• Lindelöf空間
• 連通空間
• 可析空間

類似地可定義餘可數空間。它必是Lindelöf空間和連通空間。