A topological (additive) group is a group in which the addition and negation operations are continuous.

A topological group is a group in which the multiplication and inversion operations are continuous.

additive group with a neighbourhood around 0. Only used to construct a topology and uniform space.

This is currently only available for commutative groups, but it can be extended to non-commutative groups too.