Un cuerpo ordenado es un cuerpo en el que se puede definir una relación de orden que sea compatible con las operaciones de cuerpo, es decir: