Definition:Inversion Mapping/Topology

Definition
Let $T = \struct {G, \circ, \tau}$ be a topological group.

Let $\iota: G \to G$ be the mapping defined as:
 * $\forall x \in G: \map \iota x = x^{-1}$

Then $\iota$ is the inversion mapping of $T$.

Also see

 * Inversion Mapping on Topological Group is Homeomorphism