Positive Definitheit (Bewertung)

Sei \(\phi\) eine Bewertung eines Körpers \(K\) mit \(x \in K\). Dann gilt:

\begin{align*} \phi(x) \geq& 0 \\ \phi(x) = 0 \Leftrightarrow& x = 0 \end{align*}