Si un subconjunto "E" de un cuerpo ("K",+,·) junto con las operaciones ·, + restringido a "E" es en sí mismo un cuerpo, entonces se llama un "subcuerpo" de "K".