Quantifier
= Quantifier
{title2=$\forall,\exists$}
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> $\forall$ requires every element, while <existential quantification> $\exists$ requires at least one.