Interpretation function

Interpretation function is the function mapping constants of predicate logic to their denotation in the universe of discourse. Individual constants are mapped to individuals and n-place predicate letters are mapped to sets of ordered n-tuples.

Link
Utrecht Lexicon of Linguistics