Definition:Valued Field

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

Let $\norm {\,\cdot\,}$ be a norm on $K$.

Then $\struct {K, \norm{\,\cdot\,} }$ is a valued field.

Also see

 * Definition:Norm on Division Ring
 * Definition:Field (Abstract Algebra)
 * Definition:Normed Ring