Exercício 0.4 Para um Conjunto X, escrevo-se Id_X: X → X para denotar a função identidade de X, definida por Id_X(x) = x para cada x em X. Note que f ◦ Id_X = f para qualquer função f cujo domínio é X e Id_X ◦ g = g para qualquer função g codomínio em X.