A group $G$ is free if there exists a generating set $X$ of $G$ such that every nonempty reduced group word in $X$ defines a nontrivial element of $G$.
Wikidata ID: Q431078