Natürliche Zahlen/Ultrafilter/Alternative Charakterisierung/Aufgabe

Ein Filter ist genau dann ein Ultrafilter, wenn für jede Teilmenge entweder oder gilt