Un campo (o cuerpo) es una terna formula_375, donde formula_376 es un conjunto y, formula_325 y formula_378 son dos operaciones binarias abstractas sobre formula_376 llamadas adición y multiplicación, respectivamente, que cumplen con las siguientes propiedades (además de las obvias cerraduras):