Kategorie:Theorie der orthogonalen Projektionen/Definitionen