Equational theory
Redirect to:
Universal algebra