Siendo "f" una forma bilineal definida sobre el espacio vectorial "V", se dice que los vectores "x" e "y" son conjugados si f(x;y) = 0.
Si "Pepe" y "Juan" son subespacios de "V", se dice que son conjugados si sea cual sea el vector "p" de "Pepe" que se elija y sea cual sea el vector "q" de "Juan" que se elija, es f(p;q) = 0.