topological group

C18167 concept

A topological group is a group equipped with a topology such that the group operation and inversion are continuous maps with respect to that topology.

Observed surface forms (13)

Instances (30)