Element einer maximalen kompakten Untergruppe.

Zu einer topologischen Gruppe gibt es eine maximale kompakte Untergruppe. Deren Elemente heißen auch kompakte Elemente.

Ist die topologische Gruppe diskret, so sind die kompakten Untergruppen gerade die endlichen Untergruppen.