Definition:Well-Orderable Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

If it is possible to construct an ordering $\preceq$ on $S$ such that $\preceq$ is a well-ordering, then $S$ is defined as being well-orderable.


Also see