若一个集X的子集Y,使得补集X − Y为有限集,则称Y为X的余有限集(cofinite). 类似地,若一个集X的子集Y,使得补集X − Y为可数集,则称Y为余可数集(cocountable). 余有限拓扑是将集内所有余有限集定义为开集的拓扑,这样的拓扑空间称为余有限空间.其性质有: 可传子:余有限空间的子空间也是余有限的. 紧致,列紧 T1空间而非T2空间 Lindelöf空间 连通空间 可析空间 类似地可定义余可数空间.它必是Lindelöf空间和连通空间.