Definizione
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\).
EDB — 07R
Stai gestendo il blob in: Multiple languages