Let f be the function that assigns each person who pays federal income tax, his or her Social Security number

A function f is a one-to-one function if each output of the function corresponds to exactly one input in the domain of the function