Dimostrazione
Þ) Sia x Î
= SÈFr(S), se x Î S allora " U intorno di x, UÇS ¹ Æ, se x Î Fr(S) allora " U intorno di x, U
Ç S ¹ Æ;
Ü) sia x un punto tale che " U intorno di x è
tale che S Ç U ¹ Æ, allora se x Ï S ho che (U \ {x}) Ç S ¹ Æ " intorno U di x,
cioè x Î D (S).