forall a,b in G the commutator of a and b is aba^b^

The commutator subgroup is defined as:
The subgroup generated by all possible products of commutators.