Hi everyone, first time poster here.

I'm trying to figure out how to show that the interpretation of equality in a model of equality is an equivalence relation.

As in, if I have a structure that satisfies the axioms of equality, how do i show that this structure also satisfies the axioms of equivalence relations?