9 Para um Conjunto X, escreve-se Id_X: X -> X para denotar a função identidade de X, definido por Id_X(x) := x para cada x em X. Mostre que f o Id_X = f para qualquer função f cujo domínio é X e Id_X o g = g para qualquer função g cujo Codomínio é X.