Existence quantifier

logical quantification stating that a statement holds for at least one object

In Logic, the existence quantifier is a quantifier that says that there is at least one element in the universe of discourse where the following proposition is true. The existence quantifier is commonly written as a mirrored E.