A group has the presentation $\langle S \mid R \rangle$ if it is isomorphic to the quotient of the free group on $S$ by the normal subgroup generated by $R$. This tag is used for questions about specific group presentations, for example $$\langle a,b | a=b^2=(ab)^4\rangle.$$