A function f:AtoBf: A \\to Bf:AtoB is 'onto' (surjective) if:
Every element in B has a pre-image in A
Every element in A maps to a unique element in B
No two elements in A map to the same element in B
A and B have the same size