Go backward to Set QuantifierGo up to TopGo forward to Generalized Set Quantifier |

- Let
`S`be {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Then{

is {1, 2, 3, 4, 6, 8, 10}.`x`in`S`:`x`<= 3 \/`x`is even} - Let
**N**be the set of all natural numbers. Then{

is the set of all prime numbers.`n`in**N**:`n`> 1 /\**forall**`i`:`i`|`n`=> (`i`=1 \/`i`=`n`)} - For every set
`S`,{

is the empty set`x`in`S`:`x`not in`S`}**0**.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999