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