Una terna formula_1, en la que formula_2 es un conjunto no vacío y formula_3, formula_4 son operaciones binarias en formula_2, se dice un cuerpo si, para cualesquiera formula_6 se cumplen las propiedades siguientes.