Definition:Group Word on Set

Definition
Let $X$ be a set.

A group word on $X$ is a formal word on the set of literals $X^\pm$ of $X$.

Also see

 * Definition:Reduced Group Word on Set