Kategorie:Theorie der Skalarprodukte/Definitionen