 Universal property of a group presentation

A map from the generators $S$ of $⟨S\mid R⟩$ to a group $G$ extends to a homomorphism exactly when every relator in $R$ evaluates to the identity. The extension is then unique.