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

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

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

Логическая операция, которая даёт истину, когда предикат истинен для всех значений переменной из области определения
$$\forall x P(x) \leftrightarrow P(x_1) \land P(x_2) \land P(x_3) \land \ldots$$
Для всех значений $x$ из множества $X$ предикат $P(x)$ истинен
$$(\forall x \in X)P(x)$$