Aufgabe:
Die lexografische Ordnung auf geordneten Paaren natürlicher Zahlen ist definiert wie folgt:
(n,m) ≤lex (n´,m´) ⇔df n < n´ ∨ (n = n´∧ m ≤ m´)
Es gilt also beispielweise (1,7) ≤lex (2,0) und (7,2) ≤lex (7,3).
Zeigen Sie, dass ≤lex eine partielle Ordnung auf ℕ x ℕ ist.
Problem/Ansatz:
Ich habe ein Problem bei dieser Aufgabe. Wie kann ich Sie am besten lösen? Vielen Dank im Voraus.