Definition:Strictly Well-Founded Relation

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

Also see

 * Equivalence of Definitions of Strictly Well-Founded Relation


 * Strictly Well-Founded Relation is Antireflexive
 * Strictly Well-Founded Relation is Asymmetric


 * Definition:Well-Founded Relation


 * Definition:Well-Founded Ordered Set