# Related to Hall's Theorem

I do not understand the emphasized inequality: http://s11.postimage.org/gnnf1yirn/Capture.png

How is it that if the size of X is greater than n, then the number of its neighbours is greater or equal to the neighbours of S?

-

Since $S\subset X$, $N(S)\subset N(X)$ and hence $\vert N(S)\vert\leq \vert N(X)\vert$.