Presentación (de un Álgebra)

Una descripción de un álgebra mediante un conjunto de generadores junto con las relaciones definitorias entre ellos, presentada de modo que el álgebra queda determinada a isomorfismo por esos generadores y relaciones (a menudo escrito ⟨generadores | relaciones⟩).