quantifier
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
universal quantification
logical quantification stating that a statement holds for all objects
Counting quantification
mathematical logical term
bounded quantifier
logical quantification that ranges over a subset of the universe of discourse
existential quantification
logical quantification stating that a statement holds for at least one object