No, no es así. Por ejemplo, si \( f(x)=x^2 \) y \( g(x)=\ln x \), el dominio de \( f\circ g \) es \( \left]0,+\infty\right[ \), que coincide con el dominio de \( g \).
En cambio, si \( f(x)=\ln x \) y \( g(x)=x^3 \), ahora el dominio de \( f\circ g \) es \( \left]0,+\infty\right[ \), que es el dominio de \( f \), no el de \( g \).
Pero si \( f(x)=\ln x \) y \( g(x)=x+10 \), entonces el dominio de \( f\circ g \) es \( \left]-10,+\infty\right[ \), que no es ni el dominio de \( f \) ni el de \( g \).