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