Kategorie:Theorie der reellen Skalarprodukte/Definitionen