[26H] Studieremo una relazione d’ordine (possibilmente parziale) ≤ su ℕ tale che
dove (come al solito)