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:\mathbb{N}\to X$ strettamente decrescenti.

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