The existential quantifier symbol , read as “there exists.” Used in existential quantification to assert that at least one element satisfying a given property exists.
The existential quantifier symbol , read as “there exists.” Used in existential quantification to assert that at least one element satisfying a given property exists.