Kategorie:Darstellungstheorie von topologischen Gruppen/Definitionen