外部

在拓扑学中，拓扑空间 X 的子集 S 的外部是 X 的不交集于 S 所有开集的并集。它自身是开集。S 的外部指示为 ext S 或 S^e。S 的外點是 S 的外部的元素。

等价定义

S 的外部等价于 S 的闭包的补集，和 S 在 X 中的补集的内部。