Description: The preimage of the codomain of a mapping is the mapping's domain. (Contributed by FL, 25-Jan-2007)