Universal Quantification

A logical quantifier expressed as: $\forall x\in X,P(x)$ Meaning “for all $x$ in $X$, $P(x)$ is true.” Analogous to a logical conjunction ($\bigwedge$) over all elements.

See Also

• existential quantification
• for all
• there exists
• universal set