距離空間において、閉包とは、以下のように定義される集合のことです。
距離空間上の集合\(A\)の閉包は、集合\(A\)のすべての触点から成る集合です。
集合\(A\)の閉包は、集合\(A\)を含む最小の閉集合と言えます。
特に、連続的な距離空間においては、集合\(A\)の閉包は、集合\(A\)にその境界を含めた集合になります。
例えば、開区間\((a, b)\)の閉包は、閉区間\([a, b]\)です。
閉区間\([a, b]\)の閉包は、閉区間\([a, b]\)です。