Kategorie:Theorie der kompakten Gruppen/Definitionen