Dans le contexte des formes quadratiques $E = F \oplus F^\perp$ doit vouloir dire que tout $x$ est s'écrit d'une unique façon comme $y+z, y \in F, z \in F^\perp$ et $q(x,x) = q(y,y)+q(z,z)$ ie. $q(y,z) +q(z,y)= 0$
Edité 2 fois. La dernière correction date de il y a quatre mois et a été effectuée par reuns.