ABSTRACT
I call the definition of p(£) by v . If C is a set of L-sentences then uP, C p is called the definitorial extension of C by uP. In the case of equality logic the equality axioms E A UP of Lp consist of the equality axioms E A U of L and the axiom V£ (£ = £’ -> (p(£) p (£ ’)) which I denote as eP.
