Symbols:Set Theory/Universal Quantifier

Universal Quantifier

 * $\forall$

For all.


 * $\forall x \in S: \map P x$ means that the propositional function $\map P x$ is true for every $x$ in the set $S$.


 * $\forall x: \map P x$ means that the propositional function $\map P x$ is true for every $x$ in the universal set.