0 Daumen
448 Aufrufe

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

Avatar von
Made by a lovely Community