Equality-Interpretation An interpretation model D, Io> for a first order language with an equality predicate is an equality-interpretation (model iff Io()is the identity relation on D Logic in Computer Science-p.9/15Equality-Interpretation An interpretation [model] < D, I0 > for a first order language with an equality predicate = is an equality-interpretation [model] iff I0(=) is the identity relation on D. Logic in Computer Science – p.9/15