Definition:Strictly Well-Ordered Set/Definition 2

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \RR}$ be a relational structure.

Let $\RR$ be a strict well-ordering on $S$.


Then $\struct {S, \RR}$ is a strictly well-ordered set.


Also see