theorem :: GROUP_5:49

for G being Group
for a, b being Element of G holds commutators ({a},{b}) = {[.a,b.]}