Definition:Assignment for Structure/Term

Definition
Let $\mathcal L_1$ be predicate calculus.

Let $\mathsf{VAR}$ be the collection of variables of $\mathcal L_1$.

Let $\mathcal A$ be an $\mathcal L_1$-structure on a set $A$.

Let $t$ be a term of $\mathcal L_1$.

Denote with $V \left({t}\right)$ the variables which occur in $t$.

An assignment for $t$ in $\mathcal A$ is a mapping $\sigma$ with codomain $A$, whose domain is subject to the following condition:


 * $V \left({t}\right) \subseteq \operatorname{dom} \left({\sigma}\right) \subseteq \mathsf{VAR}$

That is, the domain of $\sigma$ contains only variables, and at least those which occur in $t$.

Also see

 * Definition:Assignment for Formula