Kategorie:Theorie der Orthogonalität für symmetrische Bilinearformen/Definitionen