Definition:Strict Well-Ordering/Definition 1

Definition
Let $\struct {S, \prec}$ be a relational structure such that $\prec$ is a strict total ordering.

Then $\prec$ is a strict well-ordering on $S$ $\prec$ is a strictly well-founded relation on $S$.

Also see

 * Equivalence of Definitions of Strict Well-Ordering