Gyro-twisted subgroup

Symbol-free definition
A twisted subgroup of a group is termed a gyro-twisted subgroup if it satisfies the following equivalent conditions:


 * It occurs as the left gyrotransversal of a subgroup
 * It occurs as the right gyrotransversal of a subgroup

Weaker properties

 * Twisted subgroup
 * Symmetric subset