Es sei V {\displaystyle {}V} ein endlichdimensionaler reeller Vektorraum mit einer symmetrischen Bilinearform ⟨ − , − ⟩ {\displaystyle {}\left\langle -,-\right\rangle } . Man sagt, dass eine solche Bilinearform den Typ
besitzt, wobei
und
ist.