1: \begin{definition}

2:   \label{def:sn}

3:   For any integer $N \geq 1$, let $S ( N)$ denote the set of processes

4:   given by

5:   \[

6:   \mpp{0.5}{

7:   \begin{tikzpicture}

8:     % 

9:     \node[style=qprocess] (scp2) at (-2,0) {~~$S(N)$~~};

10:     \node (in1) at (-2.5,-1) {};

11:     \node (in2) at (-2,-1) {};

12:     \node (in3) at (-1.5,-1) {};

13:     \node (out1) at (-2.5,1) {};

14:     \node (out2) at (-2,1) {};

15:     \node (out3) at (-1.5,1) {};

16:     \draw[style=cedge] (in1) to (in1|-scp2.south);

17:     \draw[style=qedge] (in2) to (in2|-scp2.south);

18:     \draw[style=qedge] (in3) to (in3|-scp2.south);

19:     \draw[style=cedge] (out1) to (out1|-scp2.north);

20:     \draw[style=qedge] (out2) to (out2|-scp2.north);

21:     \draw[style=qedge] (out3) to (out3|-scp2.north);

22:     % 

23:     \node (eq) at (-0.2,0) {$:=$};

24:     % 

25:     \node[style=qprocess] (scp3) at (.8,-0.9) {$R(N)$};

26:     \node[style=qprocess] (scp4) at (2,.4) {$R(2N)$};

27:     \node (in4) at (.5,-1.8) {};

28:     \node (in5) at (1.1,-1.8) {};

29:     \node (in6) at (2.4,-1.8) {};

30:     \node (out4) at (.5,1.8) {};

31:     \node (out5) at (1.1,1.8) {};

32:     \node (out6) at (2.4,1.8) {};

33:     \draw[style=cedge] (in4) to (in4|-scp3.south);

34:     \draw[style=qedge] (in5) to (in5|-scp3.south);

35:     \draw[style=qedge] (in6) to (in6|-scp4.south);

36:     \draw[style=qedge] (out5) to (out5|-scp3.north);

37:     \draw[style=qedge] (out6) to (out6|-scp4.north);

38:     \draw[style=cedge] (out4) to[out=-90,in=90] (scp4.120);

39:     \draw[style=cedge] (out4|-scp3.north) to[out=90,in=-90] (scp4.-120);

40:   \end{tikzpicture}}

41:   \]

42: where $R(N)$ denotes the process set from Theorem~\ref{startingthm}.

43: Let $S_k(N)$ denote the composition $S(4^{k-1}N) \circ S(4^{k-2}N)

44: \circ \ldots \circ S(N)$.

45: \end{definition}

46: