Go backward to Set Quantifier Go up to Top Go forward to Generalized Set Quantifier |
{x in S: x <= 3 \/ x is even}is {1, 2, 3, 4, 6, 8, 10}.
{n in N: n > 1 /\ forall i: i|n => (i=1 \/ i=n)}is the set of all prime numbers.
{x in S: x not in S}is the empty set 0.