正線性泛函

設 為一個 -代數，則一個線性泛函 在 上被稱為是正的，如果它是一個 正對映，即 對於所有 。

每個正線性泛函都是自動連續的 (Murphy 1990)。