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.