Definition (Field):
A field is a set F{\displaystyle \mathbb {F} }with two operations * and + that satisfy the following axioms: