\(\{x \st x + 3 \in \N\}\text{.}\)
\(\{x \in \N \st x + 3 \in \N\}\text{.}\)
\(\{x \st x \in \N \vee -x \in \N\}\text{.}\)
\(\{x \st x \in \N \wedge -x \in \N\}\text{.}\)