Sejam $A,B$ e $D$ subconjuntos não vazios do conjunto $\mathbb{R}$ dos números reais. Sejam as funções $f:A\to B,g:D\to A$ e a função composta $(gof):E\to K$ (e, portanto, $Z=(gof)(t)=f(g(t))$. Então os conjuntos $E$ e $K$ são tais que: