[1X0]Un ordinamento totale 1 su un insieme \(X\) è detto un buon ordinamento se ogni sottoinsieme di \(X\) non-vuoto ha minimo.
