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 a strictly minimal element under $\RR$.

Also see

 * Equivalence of Definitions of Strictly Well-Founded Relation