 Free presentation

A free presentation of a group is a quotient $G\cong F/R$ in which $F$ is a free group and $R$ is the normal closure of the chosen relators.