A variable assignment is a function that (1) maps individual variables
into objects in a universe of discourse 
and (2) maps sequence
variables 
into finite sequences of objects.
The notion of a variable assignment is important in defining the meaning of quantified terms and sentences and is discussed further below.