Definition:Strictly Well-Founded Relation/Definition 3

Definition
Let $\struct {S, \RR}$ be a relational structure. Let $\RR$ be a well-founded relation which is also antireflexive.

Then $\RR$ is a strictly well-founded relation on $S$.

Also see

 * Equivalence of Definitions of Strictly Well-Founded Relation