Alphabet erster Stufe/A/Interpretation für Terme/Definition/Begriff

Die Interpretation der Terme zu einem Symbolalphabet ${}S$ in einer gegebenen ${}S$-Interpretation auf einer Grundmenge ${}M$.