EDB — 263

Exercises

1. [263] Prerequisites:[08Z]↺↻,[02H]↺↻.(Solved on 2022-10-13) Let $X$ be ordered (partially). Show that these are equivalent

   1. in each non-empty subset $A\subseteq X$ there is at least one minimal element;

   2. there are no strictly decreasing functions $f:\mathbb{N}\to X$.

   Solution 1

   [07Y]↺↻