Algebraic Properties of Equality