Description: An onto function implies dominance of domain over range. (Contributed by NM, 23-Jul-2004)