The Equational Theory