To produce large left and right delimiters that correspond to the size of the formula inside, write \left before the left delimiter and \right before...
If natural numbers are defined in this way in the second approach, then it is clear that $S=\{z\in\mathbb{Z}\mid 0<z<1\}\subseteq\{x\in\mathbb{Z}\mid...