Lemma von Zorn
Der Trennungssatz (auch Satz von Eidelheit, benannt nach Meier Eidelheit) ist ein mathematischer Satz über die Möglichkeiten zur Trennung konvexer Mengen in normierten Vektorräumen (oder allgemeiner lokalkonvexen Räumen) durch lineare Funktionale. Dabei handelt es sich um geometrische Folgerungen aus dem Satz von Hahn-Banach. Wie dieser beruht daher der Trennungssatz auf einem nicht-konstruktiven Argument, wie dem Lemma von Zorn beziehungsweise dem Auswahlaxiom.