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