Definition:Strictly Well-Ordered Set/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \RR}$ be a strictly totally ordered set.


Then $\struct {S, \RR}$ is a strictly well-ordered set if and only if $\RR$ is a strictly well-founded relation.


Also see