
I can't figure out why we need $\phi$ to be bijective in order to conclude $|A_n| = |S_n| - |A_n|$, could someone please explain how this works?

I can't figure out why we need $\phi$ to be bijective in order to conclude $|A_n| = |S_n| - |A_n|$, could someone please explain how this works?