Opération binaire qui, à tout couple (f, g) de fonctions définies dans d'un ensemble E vers un ensemble F, associe une nouvelle fonction, notée f+g, appelée la somme de ces fonctions.