Totality of the Comparison Order