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 le produit de ces fonctions.
Pour obtenir la valeur du produit de deux fonctions f et g de variable x, il suffit de multiplier les images f(x) et g(x) : (f • g)(x) = f(x) × g(x).