En álgebra abstracta, un subálgebra de un álgebra "A" es un subgrupo "S" de "A" que también tiene la estructura de un álgebra del mismo tipo cuando las operaciones algebraicas se restringuen a "S".