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.
Exemple
L’ensemble \(\mathbb{Z}\) des nombres entiers muni de l’opération d’addition et de ses propriétés constitue une structure algébrique.