\begin{definition}[Definition:Galois Field]
A '''Galois field''' $\struct {\GF, +, \circ}$ is a field such that $\GF$ is a finite set.
The symbol conventionally used to denote a Galois field of $p$ elements is $\map \GF p$.
\end{definition}