Definition:Well-Founded Relation/Definition 2

Definition
Let $\struct {S, \RR}$ be a relational structure. $\RR$ is a well-founded relation on $S$ :
 * for every non-empty subset $T$ of $S$, $T$ has a minimal element.

Also see

 * Equivalence of Definitions of Well-Founded Relation