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
 * Definition:Normed Ring