Universal quantifier

• 記号: $\forall$
• すべての・任意の を意味する
• 例: $\forall x:P(x)$: 全ての$x$について、$P(x)$が成り立つ