$$\large{\displaylines{\Large \color{#ff7800}\mathrm{for \ all} \\ \\ \Large \forall x P(x)}}$$

Квантор всеобщности

«Для всех…», «для любого…»

Операция, которая даёт истину, только если предикат истинен для всех значений из области определения
Обозначается символом: $\forall$
$$(\forall x \in X)P(x)$$
Квантор всеобщности может быть выражен через последовательность конъюнкций
$$\forall x P(x) \leftrightarrow P(x_1) \land P(x_2) \land P(x_3) \land \ldots$$