A function is Surjective if every thing in the output domain can be accessed by something in the input domain.
