Definition:Strictly Well-Founded Relation/Definition 2

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

$\RR$ is a strictly well-founded relation on $S$ :
 * $\forall T: \paren {T \subseteq S \land T \ne \O} \implies \exists y \in T: \forall z \in T: \neg \paren {z \mathrel \RR y}$

where $\O$ is the empty set.

Also see

 * Equivalence of Definitions of Strictly Well-Founded Relation