X=\underleftarrow{\lim}{\mathbb{X}}=\{ ( x_\alpha )_{\alpha \in A} : f_{\beta}^{\alpha}(x_\beta)=x_\alpha \quad \forall (\alpha, \beta) \in \leq \} \subset \Pi_{\alpha \in A} x_\alpha