One of the operations exists 
(called the existential
quantifier) or for all 
(called the universal
quantifier, or sometimes, the general quantifier). However, there also exist
more exotic branches of logic which use quantifiers other than these two.
Quantifier
See also
Bound Variable, Existential Quantifier, Exists, For All, Free, Quantified System, Quantifier Elimination, Universal QuantifierExplore with Wolfram|Alpha
References
Hall, C. and O'Donnell, J. "Computing with Quantifiers." §3.2 in Discrete Mathematics Using a Computer. London:Springer-Verlag, pp. 98-100, 2000.Referenced on Wolfram|Alpha
QuantifierCite this as:
Weisstein, Eric W. "Quantifier." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Quantifier.html