eine Gruppe (G, ·), für die folgendes gilt:

Auf (G, ·) ist eine Topologie erklärt, bzgl. derer die Gruppenoperation · und die Inversion stetig sind ((G, ·) ist topologische Gruppe), und diese Topologie ist lokalkompakt (lokalkompakter Raum).