Topologischer Raum/Filter/Ultrafilter/Existenz/Fakt

Es sei ein topologischer Raum und ein topologischer Filter auf mit .

Dann gibt es einen Ultrafilter .