Symmetric subset of a group (source code)

= Symmetric subset of a group

A subset $A$ of a multiplicatively written <group> is symmetric when it contains the <identity element> and $A^{-1}=A$. Consequently $\langle A\rangle=\bigcup_{m\geq1}A^m$.