Lexikon der Mathematik: Wohl-Quasiordnung
eine Quasiordnung ≤ auf einer Menge X so, daß es für jede unendliche Folge x1, x2, … in X Indizes i< j gibt, für die xi ≤ xj gilt.
Eine Quasiordnung ist dabei eine reflexive und transitive binäre Relation.
Eine Quasiordnung ≤ auf X ist genau dann eine Wohl-Quasiordnung, wenn es in X bezüglich ≤ weder eine unendliche Antikette noch eine unendliche absteigende Folge gibt.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.