Liebe Community,
wie führe ich so einen Beweis?
Sei auf 2ℕ die Relation R erklärt durch R = {(M1, M2)| M1 ⊂ M2}.
(a) Zeige, dass R eine partitielle Ordnungsrelation ist
(b) Sei i : ℕ → 2ℕ definiert durch i(n) = {m| m ≤ n}. Zeige M ε 2ℕ erfüllt, dass R ∩ M' x M eine totale Ordnung ist, wobei M' = {M}∪i(ℕ), so folgt M ε i(ℕ)∪{∅}.
DAAAAAANKEE