verb

• 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 ∃).