Betrachten Sie auf R × R die folgenden Relationen R1 und R2:
(x1, x2)R1(y1, y2) genau dann, wenn x1 ≤ y1 (x1, x2)
R2(y1, y2) genau dann, wenn x1 = y1.
Untersuchen Sie R1 und R2 auf Reflexivität, Symmetrie und Transitivität. Welche der Relationen ist folglich eine Äquivalenzrelation, welche eine Halbordnung, welche eine totale Ordnung? Wie sehen im Falle einer Äquivalenzrelation die Äquivalenzklassen aus?