Положительно определённая функция

Положи́тельно определённая фу́нкция, комплекснозначная функция $\varphi$ на группе $G$, удовлетворяющая неравенству

$$\sum_{i, j=1}^m \alpha_i \overline{\alpha_j} \varphi\left(x_j^{-1} x_i\right) \geqslant 0$$для любых наборов $x_1, \ldots, x_m \in G$, $\alpha_1, \ldots, \alpha_m \in \mathbb{C}$. Совокупность положительно определённых функций на $G$ образует конус в пространстве $M(G)$ всех ограниченных функций на $G$, замкнутый относительно операций умножения и комплексного сопряжения.