If f:A→B is surjective then
No two elements of A have the same image in B
Every elements in A has an image in B
Every element of B has at least one pre-image in A
A and B are finite non empty sets
Definition of surjective mapping