Quantifier

An operator that specifies

how many members of the universe

apply to the given variable, typically

all or some.

Turns a predicate into a statement, when fully quantified.

(Levin 2021, sec. 0.2)