Surjective Function

A function is surjective or “onto” if

For every y∈Y, there exists x∈X such that f(x)=y.