Category:Definitions/Subfields

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Subfields.
Related results can be found in Category:Subfields.


Let $\struct {S, *, \circ}$ be an algebraic structure with $2$ operations.

Let $T$ be a subset of $S$ such that $\struct {T, *, \circ}$ is a field.


Then $\struct {T, *, \circ}$ is a subfield of $\struct {S, *, \circ}$.