Si ("F", +, ×) es un cuerpo y ≤ es un orden total sobre "F", entonces ("F", +, ×, ≤) es un "cuerpo ordenado" si y solo si: