Loi de composition externe
Soit E et Ω deux ensembles. L'application de Ω × E dans E est appelée une loi de composition externe sur E. Les éléments de Ω sont appelés les opérateurs.
Comme l'indique la définition précédente, les résultats de cette loi de composition sont des éléments de E.