eine reelle Funktion f, für die gilt: \begin{eqnarray}\displaystyle \sum _{j,k=1}^{n}f({x}_{j}\ -\ {x}_{k}){\xi }_{j}{\bar{\xi }}_{k}\ \ge \ 0\end{eqnarray} für alle endlichen n und x_j ∈ ℝ, &xgr;_j ∈ ℂ beliebig.

Siehe auch Bochner, Satz von.