Una questione elementare sulla teoria degli insiemi. (Q2586316)

Wie Verf. betont, beweist er ohne Heranziehung des Heine-Borelschen Satzes die Tatsache, daß jede abgeschlossene Menge \(\mathfrak A\) als Ableitung einer echten Obermenge aufgefaßt werden kann (vermutlich handelt es sich nur um Punktmengen im euklidischen \(E_n\)). Zum Beweis wird eine isolierte Menge \(\mathfrak F\) konstruiert, deren Ableitung sowohl in \(\mathfrak A\) enthalten ist als den isolierten Teil von \(\mathfrak A\) enthält; dann kann \(\mathfrak M=\mathfrak A+\mathfrak F\) gesetzt werden.