Aufgabe:
Die lexikographische Ordnung auf geordneten Paaren natürlicher Zahlen ist definiert wie folgt:
(n, m) ≤lex (n 0 , m0 ) ⇔df n < n0 ∨ (n = n 0 ∧ m ≤ m0 ).
Es gilt also beispielsweise (1, 7) ≤lex (2, 0) und (7, 2) ≤lex (7, 3).
Zeigen Sie, dass ≤lex eine partielle Ordnung auf N × N ist.
Problem/Ansatz:
Hallo, wie löse ich am besten diese Aufgabe? Vielen Dank im voraus.
