equation-class function

Equation class. Any statement in the form A = B.