También se puede definir una orden total en formula_4 de la siguiente manera: