1: \begin{definition}

2: 	For a position $\xi$ with $\monoid{M}_{\cl{\xi}} \cong \monoid{M}_{\cl{*}}$, we say that a $\xi$ is \textbf{$*$-built} if either

3: 		\begin{itemize}

4: 			\item $\xi = *$, or

5: 			\item $\xi$ was obtained by iteratively applying Theorem \ref{theorem-xi-^-L-*} to $*$.

6: 		\end{itemize}

7: \end{definition}

8: