En raison de limitations techniques, la typographie souhaitable du titre, « Loi : Loi externe Loi (mathématiques)/Loi externe », n'a pu être restituée correctement ci-dessus.
Soit A un ensemble.
On appelle loi externe, une application de K x A dans A, où K est un ensemble.
Si * est une loi externe, on note *y l'image de (, y) par *.
Exemples :
Voici un exemple d'application qui est une loi externe.