EDB — 26V

Exercises

1. [26V]Prerequisites:[25Q]↺↻,[01R]↺↻,[263]↺↻,[0DQ]↺↻,[26S]↺↻.

   Let \(X\) be an ordinal, we define

   \[ x≤ y ≐ x∈ y∨ x=y \]

   we know from [25Q]↺↻ that \(x≤ y\) is a (possibly partial) order relation in \(X\). Prove that \(x≤ y\) is a well order.

   Solution 1

   [26W]↺↻