Ein-Punkt-Kompaktifizierung

aus Wikipedia, der freien Enzyklopädie