正向极限

正向极限，也称为上极限，是一族 -模的共极限，是 逆向极限 的对偶概念，并由以下映射性质表征。对于 有向集 和一族 -模 ，令 为一个正向系统。 是某个 -模，带有若干同态 ，其中对于每个 ，，

(1)

使得如果存在某个 -模 ，带有同态 ，其中对于每个 ，，

(2)

则会诱导出一个唯一的同态 ，且上述图表可交换。

正向极限可以按如下方式构造。对于给定的 正向系统，，

(3)

令 为由 -模生成的 ，其中 且 和 是 和 在 中的像。