Fangen wir mit den Partialordnungen an:

Generell muss diese reflexiv sein, daher müssen $(x,x)(x,x)$ und $(y,y)(y,y)$ 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 $(x,y)(x,y)$ oder $(y,x)(y,x)$ 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 $(x,y)(x,y)$ oder $(x,y)(x,y)$ müssen in der Relation vorhanden sein), daher sind $R_{2}R\_2$ und $R_{3}R\_3$ ebenfalls eine Totalordnung.

Wir haben dabei alle möglichen Ordnungen betrachtet: Da $(x,x)(x,x)$ und $(y,y)(y,y)$ zwingend erforderlich sind und es auf eine 2-elementige Grundmenge maximal $2^{n^2}2^\{n^2\}$ Relationen (für $n=2n=2$ sind das $1616$ Möglichkeiten) gibt, haben wir durch unsere Einschränkung nur $2^{n^2-2}=42^\{n^2-2\}=4$ eigentliche Möglichkeiten, die wir alle durchprobieren konnten.