Definition:Free Group/Definition 1

Definition
A group $G$ is a free group it is isomorphic to the free group on some set.

Also see

 * Equivalence of Definitions of Free Group