210
Un ordinamento totale \(β€\) su un insieme \(X\) Γ¨ un buon ordinamento se ogni sottoinsieme non vuoto di \(X\) ha un minimo.
In particolare \(X\) ha un minimo che indicheremo con \(0_ X\).
Un ordinamento totale \(β€\) su un insieme \(X\) Γ¨ un buon ordinamento se ogni sottoinsieme non vuoto di \(X\) ha un minimo.
In particolare \(X\) ha un minimo che indicheremo con \(0_ X\).