Question: is preimage the same as domain?
Answer: The preimage of the range of the function (not to be confused with the codomain, which is usually just R) is indeed the domain; and the preimage of some proper subset of the range would be a proper subset of the domain.