EDB — 07N

Exercises

1. [07N] Prerequisites:[07C]↺↻,[07D]↺↻,[07F]↺↻,[07K]↺↻.

   Let \(X\) be a totally ordered set. Show that the following two are equivalent.

   • Every \(A⊆ X\) non-empty bounded from above and from below admits supremum and infimum.

   • Each non-empty interval \(I⊆ X\) falls in one of the categories seen in [07D]↺↻.

   Solution 1

   [07P]↺↻