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