for G being Group holds
( G is commutative Group iff for a, b being Element of G holds [.a,b.] = 1_ G )