Definition:Strictly Well-Ordered Set

Definition
Let $\left({S, \prec}\right)$ be a linearly ordered set.

Then $\left({S, \prec}\right)$ is a strictly well-ordered set iff $\prec$ is a foundational relation.