квантор существования

Existential quantifier