Free group/Definition

A group in which there is a generating set such that every element of the group can be written uniquely as the product of generators.