En théorie des ordres, le théorème de Cantor, énoncé par lui en 1895 dans le cadre de son étude sur les types d'ordre, affirme que tout ensemble totalement ordonné dénombrable est isomorphe à un sous-ensemble de l'ensemble des rationnels, muni de l'ordre usuel.