Solution

ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2010/a/3/d/ii/delta/solution

Yes. The induced order is strict and linear and remains dense. For , the points and lie in the domain and are strictly below and above . Hence the open interval is a dense linear order without endpoints.

New to topics? Read the docs here!