Denna, skriven t.ex. Q(x, y), skall bero linjärt av x för fixt y, uppfylla Q(x, y) = Q(y, x) och vara positivt definit, vilket innebär att Q(x, x) > 0 för alla vektorer x ≠ 0.