Si «» denota la suma de funciones, entonces es un grupo.