EDB — 287

Ordinamento dall’aritmetica[287]

Avendo già definito l’aritmetica, una definizione comoda di ordinamento è come segue.

Mostreremo che \(≤\) è una relazione di ordine totale, che è un buon ordinamento. Vediamo innanzitutto alcune proprietà elementari ma fondamentali.

[298]↺↻

Esercizi

1. [28D]↺↻

2. [28G]↺↻

3. [28N]↺↻

4. [28J]↺↻

5. [28M]↺↻