\mathbb{X}=\{A,\{f_{\beta}^{\alpha}\}_{(\alpha,\beta) \in \leq}, \{X_{\alpha}\}_{\alpha \in A}\}