Definition:Subfield/Field

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {F, +, \circ}$ be a field.

Let $K$ be a subset of $F$ such that $\struct {K, +, \circ}$ is also a field.


Then $\struct {K, +, \circ}$ is a subfield of $\struct {F, +, \circ}$.


Sources