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