Ordnungstheorie
Definition
Die Untersuchung binärer Relationen, die Ordnungen kodieren (partielle Ordnungen, totale Ordnungen), ihre Struktur (Ketten, Antiketten, Verbände), ordnungserhaltende Abbildungen und Fixpunkt- sowie Vollständigkeitseigenschaften, die hierarchische und vergleichende Beziehungen steuern.