# Definition:Strictly Well-Ordered Set

Let $\left({S, \prec}\right)$ be a strictly totally ordered set.
Then $\left({S, \prec}\right)$ is a strictly well-ordered set if and only if $\prec$ is a foundational relation.