Description: If the domain of a function exists, so does its range. Part of Theorem 4.15(v) of Monk1 p. 46. This theorem is derived using the Axiom of Replacement in the form of funex . (Contributed by NM, 11-Nov-1995)