正向極限

正向極限，也稱為上極限，是一族 -模的共極限，是 逆向極限 的對偶概念，並由以下對映性質表徵。對於 有向集 和一族 -模 ，令 為一個正向系統。 是某個 -模，帶有若干同態 ，其中對於每個 ，，

(1)

使得如果存在某個 -模 ，帶有同態 ，其中對於每個 ，，

(2)

則會誘匯出一個唯一的同態 ，且上述圖表可交換。

正向極限可以按如下方式構造。對於給定的 正向系統，，

(3)

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