Quantifier/Examples/Existence for All of Element Greater Than

Example of Use of Quantifiers

 * $\forall x: \exists y: x < y$

means:


 * ''For every $x$ there exists a $y$ such that $x < y$

or (assuming the domain is that of numbers):


 * For every number there exists a number greater than it.