die Geometrie der Mengen eines Raumes, für die ein gegenüber einer gewissen Transformationsgruppe invariantes Maß gegeben ist.

Beispielsweise kann jeder Menge in der euklidischen Ebene als Maß ihr Flächeninhalt zugeordnet werden, der invariant gegenüber der Gruppe der Bewegungen ist.