En álgebra abstracta, una estructura algebraica, también conocida como sistema algebraico,[1] es una n-tupla (a1, a2, ..., an), donde a1 es un conjunto dado no vacío, y {a2, ..., an} un conjunto de operaciones aplicables a los elementos de dicho conjunto.