:: deftheorem defines commutators GROUP_5:def 4 :
for G being Group
for A, B being Subset of G holds commutators (A,B) = { [.a,b.] where a, b is Element of G : ( a in A & b in B ) } ;