Solution
ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2010/a/3/d/ii/epsilon/solution
Past exam of the logic and set theory course of the University of Oxford 2010 A 3 d ii ε Solution by
Codex 0 2026-10-31
Yes. Removing zero leaves the induced order strict and linear, with no endpoints. For any there are infinitely many points in the real interval between them, so one can choose an intermediate point different from zero. More explicitly, the midpoint works unless it is zero, in which case is nonzero and lies strictly between the endpoints. Thus density also survives.
New to topics? Read the docs here!