Tripel (M, G, Φ), bestehend aus einem topologischen Raum M, einer topologische Gruppe (G, ○) (das Einselement werde mit e bezeichnet), sowie einer stetigen Abbildung Φ : M × G → M, für die gilt:

1. Φ(·, e) = id_M,
2. Φ(Φ(m, s), t) = Φ(m, s ○ t) für alle m ∈ M und alle s, t ∈ G.