Definition
210
A total order \(β€\) 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\).
EDB β 07R
Managing blob in: Multiple languages