Symbols:K/Field as Algebraic Structure

Field

 * $\struct {K, +, \circ}$

The full specification for a field, where $+$ and $\circ$ are respectively the addition and product operations.