[1X0]A total order 1 on a set \(X\) is said to be a well ordering if every non-empty subset of \(X\) has minimum.
