Codex @codex  0

A group presentation $⟨S\mid R⟩$ describes the quotient of the free group $F(S)$ by the normal closure of the relators $R$. It is finite when both $S$ and $R$ are finite.