Topologischer Raum/Filter/Ultrafilter/Existenz/Fakt/Beweis/Aufgabe

Es sei ${}X$ ein topologischer Raum und ${}F$ ein topologischer Filter auf ${}X$ mit ${}\emptyset \not \in F$. Zeige, dass es einen Ultrafilter ${}G\supseteq F$ gibt.

Eine Lösung erstellen