The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, endless total order.
|
1 | [made Community Wiki] | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, endless total order. |
||||
