Definition:Symmetric Set/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 say that $A$ is symmetric if and only if:

$A = A^{-1}$

where $A^{-1}$ is the inverse of $A$.


Sources