EDB — 07R

[07R]

A total order $\le$ on a set $X$ is a well ordering if every nonempty subset of $X$ has a minimum.

In particular $X$ has a minimum that we will indicate with $0_X$.