A function f:ArightarrowBf: A \\rightarrow Bf:ArightarrowB is surjective (onto) if:
Every element in AAA maps to a unique element in BBB
Every element in BBB is the image of at least one element in AAA
The range is a subset of the co-domain
It is one-to-one