Set-Builder Notation

Template: $\{x\mid \mathrm{statement}\}$ Translation: the set of all $x$‘s for which $\mathrm{statement}$ is true.

Note: some use ”:” instead of ”|” $\{x\in \mathbb{Z}:x>0\}$