(Los racionales y los reales son, de hecho, cuerpos ordenados).