# Definition:Strictly Well-Ordered Set

Jump to navigation
Jump to search

## Definition

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.