此条目没有列出任何参考或来源. (2011年1月6日)
上述的东西都是一些很自然地推广,当我们开始从有限集合进入到无限集合时.
的相对差集为有限集合的集合 Y {\displaystyle Y}
定义为开集的拓扑,这样的拓扑空间称为余有限空间.符号上,
可传子:余有限空间的子空间也是余有限的.
余有限拓扑是最粗糙的T1空间:所有X 上的T1拓朴必定包含X 的余有限拓扑.
若X 是有限的,则X 上的余有限拓朴与离散扑拓相同.
类似地可定义余可数空间.它必是Lindelöf空间和连通空间.
都是余有限拓朴内里.
但是并不是所有的无限集合都会在余有限拓朴中,例如我们取所有偶数的集合,他显然是自然数的子集,但是他不在余有限拓朴中,因为他的补集并不是有限的.同样的道理,所有奇数的集合也不在余有限拓朴中.