The existential quantifier, also known as "there exists" and "for some." The proposition ∃x P(x) translates into English as "for some x P(x)", "there is an x such that P(x)", or "there is at least one x such that P(x)".

It means that P(x) is true for at least one element x in the universe of discourse (the domain under consideration). Used extensively in logic.