A [[Quantifier]] expresses the [[Domain]] to which a [[Predicate]] is [[Truth Value|true]] over some [[Domain]]. Notable examples are the [[Existential Quantifier]] $\exists$ and the [[Universal Quantifier]] $\forall$.