The field axioms are conditions on two binary operations, addition and multiplication, on a set . The additive and multiplicative identity
elements are required to satisfy
. The following laws hold for all
. The inverses shown are required to exist in
, with a multiplicative inverse required
only for
.
| name | addition | multiplication |
| associativity | ||
| commutativity | ||
| distributivity | ||
| identity | ||
| inverses |