习题 6, § 7

令I为有向集合，令$(J_\lambda)_{\lambda \in L}$为I满足条件的子集族，习题1。 令$(E_\alpha, f_{\beta\alpha})$为由I索引的集合的直接系统，令$E = \varinjlim E_\alpha$，对于每个$\lambda \in L$令$F_\lambda$为通过限制指标从$(E_\alpha, f_{\beta\alpha})$获得的直接系统的直极限集合至 $J_\lambda$。 每当$\lambda \leqslant \mu$时，令$g_{\mu\lambda}$为$F_\lambda$的典范映射入$F_\mu$（no. 6）。 证明$(F_\lambda, g_{\mu\lambda})$是集合相对于L的直接系统，并且定义是E到$F = \varinjlim F_\lambda$的规范双射。