Kategorie:Theorie der orthogonalen Komplemente/Definitionen