# Definition:Free Group/Definition 1

A group $G$ is a free group if and only if it is isomorphic to the free group on some set.