f(g(X))=Y <= f(X)=Z, g(Z)=Y


