The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, dense, endless total order.
(All conditions are needed: Without separable we have for example $[0,1]\times\Bbb R$ with lexicographic order, without complete we have $\Bbb Q$, without dense we have $\Bbb Z$, without endless we have $[0,1]$, all with standard order)
