Sei ≼ eine Halbordnung auf der Menge A. Zeige, dass es eine
Ordnung ≤ auf A gibt mit ≼ ⊆ ≤.
Ich komme hier nicht ganz weiter….
Mein Ansatz wäre die durch Inklusion halbgeordnete Menge M aller Halbordnungen auf A zu betrachten. Weiter haben wir schon gezeigt dass die maximalen Element der Menge M gerade die Ordnungen auf A sind.
Ich würde jetzt weiter versuchen das Lemma von Zorn zu verwenden, mir ist aber nicht ganz klar wie ich das richtig verwende und was ich noch zu zeigen habe…