Question: What is a finite composition of two symmetries or their inverses?

Is "Quotient groups and subgroups together form a way of describing every group by its presentation: any group is the quotient of the free group over the generators of the group, quotiented by the subgroup of relations." the correct answer?
no