opération [latin : opera, travail] (2) :
Soit E un ensemble.
Une opération dans E est une fonction
de EE
dans E : c'est donc une fonction à deux variables
qui, à un couple d'éléments
de E fait correspondre (au plus) un élément de E.
L'addition dans
est la fonction : (a,b)
a+b
de
dans
.
La multiplication dans
est une opération.
La composition est une opération
dans l'ensemble des fonctions de
dans
.
Le produit d'un vecteur par un réel
n'est pas une opération car réels
et vecteurs n'appartiennent pas au même ensemble.