Opération binaire qui, à tout couple d’éléments, appelés les termes de l’addition, associe un nouvel élément appelé la somme de ces termes.
On peut définir une opération d’addition dans différents ensembles comme des ensembles de nombres, des ensembles de relations, des ensembles de figures géométriques, etc.