Si las dos operaciones satisfacen estas reglas algebraicas, entonces a su vez definen un orden parcial ≤ en "L" por la regla siguiente: "a" ≤ "b" si y sólo si "a" formula_17 "b" = "b", o, equivalentemente, "a" formula_16 "b" = "a".