Wohlfundierte Relation

In der Mathematik heißt eine auf einer Menge ${\displaystyle M}$ definierte zweistellige Relation ${\displaystyle \prec }$ wohlfundiert, wenn es keine unendlichen absteigenden Ketten in dieser Relation gibt, d. h., wenn es keine unendliche Folge ${\displaystyle a_{0},a_{1},a_{2},a_{3},\dots }$ von Elementen in ${\displaystyle M}$ mit ${\displaystyle a_{i+1}\prec a_{i}}$ für alle ${\displaystyle i}$ gibt. Insbesondere enthält eine wohlfundierte Relation keine Zyklen.