Bajo estas premisas, el argumento anterior muestra que una aplicación que preserva el orden de la colección de cadenas a un intervalo de números reales, no puede ser una biyección: o bien algunos números no corresponden a ninguna cadena, o bien algunos de ellos corresponden a más de una cadena.