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