Sabemos de trabajos anteriores que tal suma es asociativa, conmutativa, que tiene como neutro la función constante cero (para todo formula_61 formula_62), y que cada función formula_5 tiene un opuesto aditivo formula_64 tal que formula_65 Por lo que formula_66 es un grupo abeliano.