StevenXClontz’s Twitter Archive—№ 3,463

@shachaf @davidad A non empty total order which is separable, dense, complete, and without a greatest or least element is isomorphic to the real line. No algebra required.