Supóngase que formula_4 es un espacio vectorial sobre "K", y formula_5 es una forma bilineal que es hermítica en el sentido que "B"("x", "y") es siempre la conjugada compleja de "B"("y", "x").