Множество $F$ с введёнными на нём двумя алгебраическими операциями:
- сложения $+$ (где $+: F\times F\to F$)
- и умножения $*$ (где $*: F\times F\to F$)
( т.е. $F$ замкуто относительно обеих операций), называется полем $\left\langle F,+,*\right\rangle$, если выполнены следующие аксиомы: