Zorn's lemma
Die Existenz eines freien Ultrafilters folgt aus dem Lemma von Zorn. Mit Hilfe dieses Ultrafilters formula_43 lässt sich eine Äquivalenzrelation definieren: