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.
Las estructuras algebraicas se clasifican según las propiedades que cumplen las operaciones sobre el conjunto dado.
En estructuras algebraicas más elaboradas, se definen además varias leyes de composición.
Con una ley de composición interna Con dos leyes de composición interna Con leyes de composición interna y externa