Interpretation

Let be a First-Order Predicate Logic language.
Let be an -Structure.
Let be a term in and a formula in ,
both having Free Variable in
We define interpretations:

by induction on the language .

Full definition is in Zsaks notes on page 33.
It is just the obvious thing.