A function is defined so that for each input x there is a single ouput y
in the ordered pair(x,y)
For each zip code there are many social security #s so a is not a function
However for each social security # there is only one zip code so b is a function.
The vertical line test would apply if you were willing to plot
all (zipcode,social security ) pairs but that would seem unreeasonable