Definition
-variant Interpretation (Satisfiability Modulo Theory) Let
and be interpretations over the same signature , and let be a set of variables. The interpretation is an -variant of , written , if both interpretations have the same carriers and agree on every signature symbol and every variable outside : Variables in
may be assigned any value of their respective carriers. If , then is an -variant of .