Die Einbettungs-Relation (II)

Begriffe (für Halbordnungen):

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

Sätze: für $\le$ ist

• jede Kette endlich
• jede Antikette endlich

Beispiel: bestimme die Menge der $\le$-minimalen Elemente für ...