Set Definition by Predicate/Examples/Integers Greater Than or Equal to 2

Example of Set Definition by Predicate
Let $S$ be the set defined as:
 * $S := \set {x \in \Z: 2 \le x}$

Then $S$ is the set of all integers greater than or equal to $2$:


 * $S = \set {2, 3, 4, \ldots}$