Nielsen transformation

Definition with symbols
Let $$F$$ be the free group on $$n$$ generators. A Nielsen transformation with reference to $$F$$ is a transformation that starts off with a finite or countable subset (or sequence) in $$F$$ and outputs a changed subst (or sequence). For the transformation to qualify as a Nielsen transformation, it must be expressible as a composite of elementary Nielsen transformations.