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:ℕ→ X\) strettamente decrescenti.

   Soluzione 1

   [07Y]↺↻