Cartesian product of two sets in which internal or external laws of composition and the properties of these laws are defined.

Once we have defined one or more laws of composition in a set of pairs, we say that this set has an algebraic structure.

### Example

The set \(\mathbb{Z}\) of integers equipped with the operation of addition and its properties is an algebraic structure.