That is, a TAG is both a group and a topological space, the group operations are continuous, and the group's binary operation is commutative.
I andra ord är den samtidigt en grupp och ett topologiskt rum så att gruppoperationerna är kontinuerliga och gruppens binära operation är kommutativ.