EDB — 26V

Esercizi

1. [26V]Prerequisiti:[25Q]↺↻,[01R]↺↻,[263]↺↻,[0DQ]↺↻,[26S]↺↻.

   Sia \(X\) un ordinale, definiamo

   \[ x≤ y ≐ x∈ y∨ x=y \]

   sappiamo da [25Q]↺↻ che \(x≤ y\) è una relazione d’ordine in \(X\) (possibilmente parziale). Si mostri che \(x≤ y\) è un buon ordinamento.

   Soluzione 1

   [26W]↺↻