EDB — 263

Esercizi

1. [263] Prerequisiti:[08Z]↺↻,[02H]↺↻.(Svolto il 2022-10-13) Sia $X$ ordinato (parzialmente). Mostrate che sono equivalenti

   1. in ogni sottoinsieme $A\subseteq X$ non-vuoto esiste almeno un elemento minimale;

   2. non esistono funzioni $f:\mathbb{N}\to X$ strettamente decrescenti.

   Soluzione 1

   [07Y]↺↻