若一個集
X的子集
Y，使得
補集X −
Y為
有限集，則稱
Y為
X的余有限集（cofinite）。
類似地，若一個集X的子集Y，使得補集X − Y為可數集，則稱Y為余可數集（cocountable）。
余有限拓撲是將集內所有餘有限集定義為
開集的
拓撲，這樣的
拓撲空間稱為余有限空間。其性質有：
可傳子：余有限空間的
子空間也是余有限的。
緊緻、列緊
T1空間而非T2空間 Lindelöf空間
連通空間 可析空間 類似地可定義
余可數空間。它必是Lindelöf空間和連通空間。
