Zeigen Sie, dass durch
(a, b) ≤ (c, d) ⇐⇒ (a ≤ c ∧ b ≤ d)
eine partielle Ordnung auf der Menge Z × Z definiert wird. Ist diese partielle Ordnung total?
Ich weiß, dass ich die Eigenschaften einer partiellen Ordnung (Reflexivität, Antisymmetrie und Transitivität) beweisen muss. Allerdings fehlt mir der genaue Ansatz wie ich dies nun tun muss.
