1: \begin{definition}  \label{defSM}  Given an injective IFS $\mathcal F$ with a mask $M = \{M_i, 1\leq i \leq N\}$, the {\bf section} $\mb{\tau_M}$ {\bf associated with mask} $\mb M$ is the function $\tau_M \, : \, A \rightarrow \Omega$ defined as follows.  

2: Let $\Omega_k$ denote the set of all finite strings of length $k$ in the symbols $\{1,2,\dots , N\}$.  

3: For each $k\geq 0$ define a partition $M^k = \{ M_{\sigma} \, : \, \sigma \in \Omega_k\}$ of $A$ recursively by taking $M^1 = M$ and $$M^{k+1} =\{ M_{\sigma \, j} = M_{\sigma} \cap f_{\sigma}(M_j) \, : \, \sigma \in \{1,2, \dots, N\}^k, 1\leq j \leq N \}.$$  A straightforward induction shows that $M^k$ is indeed a partition of $A$ for every $k\geq 0$, and that each such partition is a refinement of the previous partition, in particular $M_{\sigma \, j} \subseteq M_{\sigma}$ for all finite $\sigma$ and all

4: $j \in \{1,2, \dots, N\}$.    (Note that, for some values of $\sigma$, the sets $M_{\sigma}$ may be empty.)  Moreover, since the functions in the IFS are contractions, the maximum diameter of the sets in $M^k$ approachs $0$ as $k \rightarrow \infty$.  Since each $x \in \mathbb X$ lies in a unique nested sequence $$M_{i_0} \supseteq   M_{i_0\, i_1 } \supseteq  M_{i_0\, i_1 \, i_2 } \supseteq \cdots,$$

5: we can define $\tau_M (x) = i_0\, i_1 \, i_2 \cdots$. Note that this definition of $\tau_M$ is equivalent to saying that

6: $$x \in f_{i_0} \circ f_{i_1} \circ f_{i_2}\circ \cdots \circ f_{i_{k-1}} (M_{i_k})$$

7: for all $k\geq 0$.  That $\tau_M$  is indeed a section is part of Theorem~\ref{thmMask} below, whose proof 

8: appears in \cite{BV}.

9: \end{definition}

10: