Sottocampo.
Sia K un campo e sia L⊆K.
L è sottocampo di K se
è sottoanello di K ed è un campo.