Fangen wir mit den Partialordnungen an:
Generell muss diese reflexiv sein, daher müssen und in unserer Relation sein. Die Antisymmetrie ist dabei auch gegeben, die Transitivität ebenfalls. Zusätzlich können wir, ohne Verletzung der gegebenen Bedingungen noch entweder oder zu der Relation hinzufügen (aber nicht beide, da dies die Antisymmetrie verletzen würde). Also haben wir:
Für die Totalordnung muss nun bekanntlich noch die Konnexität gegeben sein (also entweder oder müssen in der Relation vorhanden sein), daher sind und ebenfalls eine Totalordnung.
Wir haben dabei alle möglichen Ordnungen betrachtet: Da und zwingend erforderlich sind und es auf eine 2-elementige Grundmenge maximal Relationen (für sind das Möglichkeiten) gibt, haben wir durch unsere Einschränkung nur eigentliche Möglichkeiten, die wir alle durchprobieren konnten.