If A is finite domain, of size m, and B is a finite codomain, of size n.
n,m >= 0 and m < n
How many functions (f: A -> B) are not injective?
Since the size of the codomain is larger than the domain, the number of injective functions is (n choose m) * m!
But how would one determine the number of non-injective functions?