Dividir/acortar dominio de una función

[martina-abello]

Si tengo una función f: A -> B, ¿es válido definir a partir de eso una función g que sea igual, pero con dominio un subconjunto de A? De ser así, ¿cómo se definiría "formalmente"? Porque g = f obviamente no basta, pero no sé cómo expresaría el cambio en el dominio.

[seba-bug]

Hola! Es totalmente válido. Si $W\subseteq A$ es el conjunto que mencionas, defines $g:W\rightarrow B$ tal que $g(x)=f(x)$ Abrazo