Universal Quantifier

The assertion that for all values of a variable \(x\) a logical statement \(y\) is true. Written as
\[ \forall \; x \; y \]