Szpilrajn Extension Theorem

From ProofWiki
Jump to navigation Jump to search

Theorem

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



Then there is a strict total ordering on $S$ of which $\prec$ is a subset.


Proof


Source of Name

This entry was named for Edward Szpilrajn.