Definition:Strictly Well-Founded Relation/Definition 1

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

$\RR$ is a strictly well-founded relation on $S$ every non-empty subset of $S$ has an $\RR$-minimal element.

Also see

 * Equivalence of Definitions of Strictly Well-Founded Relation