Definition:Well-Founded Relation

Definition
Let $\struct {S, \RR}$ be a relational structure.

Also see

 * Equivalence of Definitions of Well-Founded Relation


 * Definition:Strictly Well-Founded Relation