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.