quantifier
n//ˈkwɑn.tə.faɪ.ɚ//kvantifikator, kvantor
(logic) An operator, such as the universal quantifier (written as ∀) or the existential quantifier (∃), used in predicate calculus to indicate the degree that predicate is true for a specified set.