Bajo composición, una función de identidad es "neutral": si f es cualquier función de X a Y, entonces: