Kategorie:Theorie der Charaktere einer topologischen Gruppe/Definitionen