En álgebra abstracta, una presentación es una forma de definir un grupo mediante la especificación de dos conjuntos: S, conjunto de los generadores, de modo que todo elemento del grupo pueda expresarse como producto de elementos de S. R, conjunto de las relaciones, igualdades entre elementos del grupo. Wikipedia