Второй квантор

Translation второй квантор into english

Второй квантор уточняет условия существования.

The second quantifier specifies the conditions of existence.