Die Einbettungs-Relation (II)

Begriffe (für Halbordnungen):

• Kette: Menge von paarweise vergleichbaren Elementen
• Antikette: Menge von paarweise unvergleichbaren Elementen

Sätze: für ≤ ist

• jede echt absteigende Kette endlich (trivial)
• jede Antikette endlich (nicht trivial)

Beispiel: bestimme die Menge der ≤-minimalen Elemente für die Menge der Dezimaldarstellungen der Quadratzahlen (das ist eine Antikette)