En álgebra abstracta, una presentación es una forma de definir un grupo mediante la especificación de dos conjuntos: