Seien R1 und R2 partielle Ordnungen auf M1 bzw. auf M2. Unter R1x R2 werde die folgendermaßen definierte Relation auf M1x M2 verstanden:
Für alle x1,y1 Element von M1, Für alle x2, y2 Element von M2 gilt:
(x1, x2) (R1, R2) (y1, y2) : <=> x1R1y1 und x2R2y2
Zeigen Sie, dass R1 x R2 eine partielle Ordnung ist.
Ich habe keinen wirklichen Ansatz, wie ich diese Aufgabe lösen soll. Für einen Lösungsansatz mit dem ich weitermachen kann, wäre ich wahnsinnig dankbar!