Las primeras dos condiciones definen el concepto de "campo ordenado", mientras que la tercera propiedad es de naturaleza topológica y es la que diferencia al conjunto de los números reales de todos los demás campos ordenados.