\begin{definition}[Definition:Field Zero]
Let $\struct {F, +, \times}$ be a field.
The identity for field addition is called the '''field zero''' (of $\struct {F, +, \times}$).
It is denoted $0_F$ (or just $0$ if there is no danger of ambiguity).
\end{definition}