Kategorie:Theorie der Orthonormalsysteme/Definitionen