Sei \(V=K^2\) mit Standardbasis \(e_1,e_2\).
\(F\) sei definiert durch:
\(F(e_1,e_1)=F(e_2,e_2)=0,\; F(e_1,e_2)=F(e_2,e_1)=1\).
Dann gilt für \(U=Ke_1\) : \(U^{\perp}=U\neq \{0\}\).
In der umfangreichen Theorie der quadratischen Formen nennt man
ein solches \((V,F)\) eine Hyperbolische Ebene.