1: \begin{definition}

2: The following objects and morphisms in \textbf{Rel} obtained from the Frobenius algebra $(IX,m,e)$ form a groupoid $\Sigma$ in the category of sets and functions \textbf{Set} (see \cite{CCH} Theorem 7).

3: \begin{itemize}

4: \item $\Sigma_1= IX$

5: 

6: \item $\Sigma_2=Image(m)=\bigcup_{k=0}^2\{(3k+1,3k+1),(3k+1,3k+2),(3k+1,3k+3),(3k+2,3k+3),(3k+2,3k+2),(3k+2,3k+1),(3k+3,3k+1),(3k+3,3k+2),(3k+3,3k+3)\}$

7: 

8: \item $\Sigma_0=U=Domain(e)=\{1,4,7\}$

9: 

10: \item $u=U\times U: \Sigma_0 \to \Sigma_1$

11: 

12: \item $s=\{(f,x)\in \Sigma_1\times \Sigma_0 | (f,x) \in \Sigma_2\}:\Sigma_1 \to \Sigma_0$

13: 

14: \item $t=\{(f,y)\in \Sigma_1\times \Sigma_0 | (y,f) \in \Sigma_2\}: \Sigma_1 \to \Sigma_0$

15: 

16: \item $-^*=\{(g,f)\in \Sigma_2| m(g,f)\in U , m(f,g)\in U\}: \Sigma_1 \to \Sigma_1$

17: \end{itemize}

18: \end{definition}

19: