Interpretation (Predicate Logic)

An interpretation $\mathcal{I}$ for a first-order logic language consists of a non-empty domain $D$ of objects, over which the variables may range, together with an assignment of a meaning to the predicate, constants, functions, and symbols.