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

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

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

类似地可定义余可数空间。它必是Lindelöf空间和连通空间。

In mathematics, a cofinite subset of a set X is a subset A whose complement in X is a finite set. In other words, A contains all but finitely many elements of X. If the complement is not finite, but it is countable, then one says the set is cocountable.