The Equationally-Defined Commutator: A Study in Equational Logic and Algebra