Cuando en un cuerpo hay una relación como la anterior, (llamada relación de orden), se dice que se trata de un cuerpo ordenado.