 An equational theory is a deductively closed set of equations, equivalently the set of all consequences of some set \(A\) of equations. Every theory always has itself as its own axiomatization, but it will usually also have smaller axiomatizations. A theory that has a finite axiomatization is said to be finitely based or finitely axiomatizable.