for G being Group
for g being Element of G holds {g} " = {(g ")}