1: \begin{definition}

2: We denote by $\Sigma_\kappa$ the monoid of all endomorphisms of $\free\kappa{\operator{V}M}$, and by $\Xi_\kappa\subseteq\Sigma_\kappa$ the group of all automorphisms of $\free\kappa{\operator{V}M}$ (i.e., of the invertible elements of $\Sigma_\kappa$).

3: As explained before Theorem~\ref{ref2}, to every $\sigma\in\Sigma_\kappa$ 

4: there corresponds a continuous selfmapping $\sigma^*$ of $X_\kappa=\Spec\free\kappa{\operator{V}M}$, which we call the \newword{dual} of $\sigma$.

5: Let $\Pi\subseteq\Sigma_\kappa$, and let 

6: $O$ be an open subset of $X_\kappa$.

7: We define $(\Pi,O)$ to be the union of all backwards translates of $O$ under iteration of the substitutions in $\Pi$. Explicitly stated,

8: $$

9: (\Pi,O)=\bigcup\{(\sigma^*)^{-1}[O]:\sigma\text{ is in the submonoid of }\Sigma_\kappa\text{ generated by }\Pi\}.

10: $$

11: If $(\Pi,O)=X_\kappa$ for every $O\not=\emptyset$, then we say that $\Pi$ acts \newword{minimally} on $X_\kappa$: this is equivalent to saying that every point of $X_\kappa$ has a dense orbit under~$\Pi$.

12: \end{definition}

13: