for X being set
for x being Element of (SymGroup X) holds x " = x "