En raison de limitations techniques, la typographie souhaitable du titre, « Loi (mathématiques) : Première définition d'une loi Loi (mathématiques)/Première définition d'une loi », n'a pu être restituée correctement ci-dessus.
Définition
Soient A, B, C trois ensembles.
On appelle loi, une application du produit cartésien A x B dans C.
Cette définition sert peu et n'apporte pas grand-chose donc nous ne nous attarderons pas dessus.