Dans cette partie, on appelle A {\displaystyle A} et B {\displaystyle B} des parties de E {\displaystyle E} et F {\displaystyle F} et G {\displaystyle G} des sous-espaces vectoriels de E {\displaystyle E} .
{{{1}}}
On a déjà F ⊥ + G ⊥ ⊂ ( F ∩ G ) ⊥ {\displaystyle F^{\perp }+G^{\perp }\subset (F\cap G)^{\perp }} . Par formule de Grassman, il vient :