Para definir el concepto de presentación de un grupo, es necesario precisar que significa que una relación se satisface en un grupo dado.