Kategorie:Theorie der komplexen Skalarprodukte/Definitionen