Symmetric subset

Symbol-free definition
A subset of a group is said to be symmetric if it satisfies both the following conditions:


 * The identity element lies inside the subset
 * The inverse of any element in the subset also lies inside the subset

Stronger properties

 * Gyro-twisted subgroup
 * Subgroup