validity in lower predicate calculus

...known as a domain.
D may contain as many or as few objects as one chooses, but it must contain at least one, and the objects may be of any kind. The other element,
V, is a system of
value assignments satisfying the following conditions. To each individual variable there is assigned some member of
D (not necessarily a different one in each case). Assignments are next made...