Sei ⪯Lex die Relation auf N ×N definiert durch:
(a, b) ⪯Lex (c,d) ⇔ a <c oder a =c und b≤d
Man beweise, dass
1. ⪯Lex eine Ordnungsrelation (lexikografische Ordnung) auf N × N ist.
2. ⪯Lex eine Wohlordnung ist. Das heißt, dass jede nicht leere Teilmenge N von N × N ein Element η0 besitzt mit der Eigenschaft: η0 ⪯Lex α ∀ α∈N.
Problem:
Hallo Freunde,
Ich komme mit der Aufgabe nicht ganz klar. Könnt ihr mir bitte helfen