Dimostrazione

 

 

 

S chiuso S = viene direttamente dalla definizione di : il pi piccolo chiuso che contiene S.

 

il pi piccolo chiuso contenente S X \ il pi grande aperto A tale che AS = X \ il pi grande aperto A tale che A X \ S X \ = Int(X \ S) = Est (S).