↘️ Variable assignment (predicate calculus) === a function to assign individuals out of a universe U to open individual variables== Notation V V′: a variable assignment over U, which differs at most for x of V → also called x-Variant of V