A quantifier binds a free variable in a first-order formula and specifies how its truth depends on elements of a first-order structure: universal quantification requires every element, while existential quantification requires at least one.
New to topics? Read the docs here!