En primer lugar, un punto para aclarar una confusión que parece tener, la forma de la función de conseguir generalmente se define a través de esos operación de hacer realidad el dominio implícito: se toma el mayor conjunto tal que la expresión puede tener sentido. Para $\sqrt{x}$ por ejemplo, el dominio de la realidad es $[0,\infty)$ e no $\mathbb{R}$, por lo que la función es en realidad $[0,\infty)\rightarrow\mathbb{R}$; $\frac{1}{x}$ el dominio es $\mathbb{R}\backslash\{0\}$, por lo que es $\mathbb{R}\backslash\{0\}\rightarrow\mathbb{R}$.
Cuando usted dice "preimagen", es necesario especificar la función y cuál es la preimagen es de. Por ejemplo, si la función es $x^{2}$, entonces la preimagen de $\{1,4\}$ para esta función es $\{-2,-1,1,2\}$ que es un subconjunto del dominio de $\mathbb{R}$. La preimagen de el rango de la función (que no debe confundirse con el codominio, el cual es usualmente $\mathbb{R}$) es de hecho el dominio; y la preimagen de algún subconjunto del rango sería un subconjunto del dominio.