Para dar una definición formal, sea K uno de los cuerpos
es una forma bilineal que es hermítica en el sentido que B(x, y) es siempre la conjugada compleja de B(y, x).
Entonces B es definida positiva si para cada x distinto de cero en V.
Si es mayor o igual a cero, se dice que B es semidefinida positiva.
Un operador lineal auto-adjunto A en un espacio con producto interno es definido positivo si para cada vector distinto de cero x.