Set Definition by Predicate/Examples/Integers Less Than or Equal to 5

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

Then $S$ is the set of all integers less than or equal to $5$:


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