Structure algébrique
Produit cartésien de deux ensembles dans lequel sont définies des lois de composition internes ou externes et de propriétés de ces lois.
Dès qu'on a défini une ou plusieurs lois de composition dans un ensemble de couples, on dit que cet ensemble possède une structure algébrique.
