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\}$$