\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{Writing the Set of Positive Integers}
\begin{popup}
Here are a few ways that I thought of.
\[ \begin{noj}
 \{n \in Nat : n > 0\} \V{.2}
 \{n \in Int : n > 0\} \V{.2}
 \{n+1 : n \in Nat \}
 \end{noj} \]
\mbox{}
\end{popup}
\makepopup