Let $n \in \mathbb{Z}$ be an D995: Integer.
Then $n$ is a positive integer if and only if \begin{equation} n > 0 \end{equation}