拓撲閉包

閉包者，閉合之包也。

定義

集甲（A）之閉包者（記曰「$\overline{A}$」），含甲之最小閉集也，含甲之閉集之交也。

例

• 閉集之閉包為己。
• 二數區間之閉包者，二數之閉區間也。(「$\overline{(a,b)}=[a,b]$」)
• 多邊形之閉包者，多邊形之內側加邊界也。
• 開球之閉包者，閉球也。