Kategorie:Theorie der Hilberträume/Definitionen