Un cuerpo es ordenado cuando hay una relación de orden total compatible con las operaciones.