余有限空间

若一个集X的子集Y，使得补集X−Y为有限集，则称Y为X的余有限集（cofinite）。

类似地，若一个集X的子集Y，使得补集X−Y为可数集，则称Y为余可数集（cocountable）。

余有限拓扑是将集内所有余有限集定义为开集的拓扑，这样的拓扑空间称为余有限空间。其性质有：

可传子：余有限空间的子空间也是余有限的。紧致、列紧 T1空间而非T2空间 Lindelöf空间 连通空间 可析空间 类似地可定义余可数空间。它必是Lindelöf空间和连通空间。