A mapping $T$ of a metric space $X$ into a metric space $Y$ is continuous iff the inverse image of any open subset $Y$ is open subset of $X$.
Proof: (a)Suppose that $T$ is continuous. Let $S \subset Y$ be open and $S_0$ the inverse image of $S$. If $S_0 = \emptyset$, it is open. Let $S_0 \neq \emptyset$. For any $x_0\in S_0$ let $y_0=Tx_0$. Since $S$ is open, it contains an $\epsilon$-neighborhood $N$ of $y_0$. Since $T$ is continuous, $x_0$ has a $\delta$-neighborhood $N_0$ which is mapped into $N$. Since $N\subset S$, we have $N_0\subset S_0$ ...
Please You will be able explain me in detailed this part "Since $N\subset S$, we have $N_0\subset S_0$", I don't understand "we have $N_0\subset S_0$".