EDB — 07X

Esercizi

1. [07X] Prerequisiti:[08Z]↺↻.(Svolto il 2023-01-17) (Proposto il 2022-12) Sia \(X\) un insieme totalmente ordinato. Mostrate che sono equivalenti:

   1. \(X\) è bene ordinato;

   2. non esistono funzioni \(f:ℕ→ X\) strettamente decrescenti.

   (È un caso particolare di [263]↺↻)