The SlugMath Wiki is under heavy development!

# Def/Well ordered

(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)

Definition of Well ordered: Suppose that $(X, \leq)$ is a set together with a binary relation. We say that $X$ is well-ordered (with respect to $\leq$) if the following conditions hold:

## Logical Connections

This definition logically relies on the following definitions and statements: Def/Binary relation, Def/Total order, Def/Minimal element

The following statements and definitions logically rely on the material of this page: Def/Ordinal number

To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: