Definition:Inverse of Subset of Topological Group

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {G, \odot, \tau}$ be a topological group.

Let $A \subseteq G$.


We define the inverse $A^{-1}$ of $A$ by:

$A^{-1} = \set {a^{-1} : a \in A}$

where $a^{-1}$ denotes the inverse element of $a \in G$.


Sources