Definition:Field (Abstract Algebra)

A field is a non-trivial division ring whose ring product is commutative.

Field Axioms
The properties of a field are as follows.

For a given field $$\left({F, +, \circ}\right)$$, these statements hold true:

These are called the field axioms.