Definition
Theory (Satisfiability Modulo Theory)
A theory over a signature
is a possibly infinite set of well-sorted closed formulas, called the axioms of
. The axioms restrict the -interpretations under consideration to the theory interpretations that make every axiom valid.