Una estructura algebraica viene dada por uno o varios conjuntos dotados de operaciones binarias u operaciones externas.