So, the question I have is: How many onto functions  -->  have only one element mapped to 7?
This is asking how many functions with A having 9 elements and B having 7 elements have only 1 element mapped to 7 I suppose.
Now...I can calculate the total number of onto functions using Sterlings number of the 2nd kind: S(9,7) = 462. Now, to account for the number of ways to assign the sets in the domain to n elements in the codomain we multiply 462 by 7! since there are 7 ways to derive functions from the partitions on the first set, 6 for the next, 5 for the next, and so on. So the total number of onto functions --> = 462*7! = 2,328,480.
Now how would I see how many functions in --> have only 1 element mapped to 7? I'm not sure I really understand what it's asking. Any ideas?
Would it be S(8,6)*7?
Edit: Or perhaps S(9,7)*7! - S(9,6)*6!?