for x being set
for G being Group holds
( x in commutators G iff ex a, b being Element of G st x = [.a,b.] )