existential quantifier

Translations
существующий квантор
An existential quantifier is used to express that there is at least one element for which a proposition holds.
Существующий квантор используется, чтобы выразить, что существует хотя бы один элемент, для которого утверждение верно.