Definition:Strictly Well-Ordered Set

From ProofWiki
Jump to: navigation, 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.


Also see