Theorem 3.4 (Cantor 1895). DLO is ${\aleph }_0$-categorical.