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

   Solution 1

   [07Y]↺↻