quantify in French

(logic) To relate a statement (called a predicate) to a given set using a quantifier—either for all (denoted ∀) or there exists (denoted ∃).