Deletion condition for involutory generators
= Deletion condition for involutory generators
For a group generated by involutions, the deletion condition says that every nonreduced word can be shortened without changing its value by deleting two of its letters.