verb
(transitive) To assign a quantity to.
To determine the value of (a variable or expression).
(logic) To relate a statement (called a predicate) to a given set using a quantifier—either for all (denoted ∀) or there exists (denoted ∃).