Natürliche Zahlen/Ultrafilter/Alternative Charakterisierung/Aufgabe

Ein Filter ${}F\subseteq {\mathfrak {P}}\,(\mathbb {N} )$ ist genau dann ein Ultrafilter,

wenn für jede Teilmenge ${}T\subseteq \mathbb {N}$ entweder ${}T\in F$ oder ${}\mathbb {N} \setminus T\in F$ gilt

Eine Lösung erstellen