e/Theory of pure equality

Information
has gloss	eng: In mathematical logic the theory of pure equality is a first-order theory. It has a signature consisting of only the equality relation symbol, and includes no non-logical axioms at all (Monk 1976:240–242). This theory is consistent, as any set with the usual equality relation provides an interpretation.
lexicalization	eng: theory of pure equality
instance of	e/Theory (model theory)