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
Schreiben Sie uns!