---

Example

The set of all positive integers,

\[\begin{equation*}
  \{x \in \mathbb{Z} \mid x > 0\}.
\end{equation*}
\]