A prime field $(P, + ,\cdot)$ is a field which does not contain any proper subfields. Formally, if $(F, + ,\cdot)$ is a field, then $P$ is the algebraic structure defined by $$P:=\bigcap_{S\subset F,\;S\text{ subfield of }F}S.$$
Thank you to the contributors under CC BY-SA 4.0!
