Item
2
.
\(\{x \in \N \st x + 3 \in \N\}\text{.}\)
in-context