La pregunta es cortita. Si defino , esto me dice que es sobreyectiva?

Digamos que es un conjunto abierto de

Por definición, pareciera que para todo siempre voy a poder encontrar un tal que .

La funcion que pusiste (la restricción de f a su imagen) siempre es sobreyectiva, pero no es f (si no se entiende preguntá que aclaro más).

Ferpecto gracias