リース空間
[0 ≤ a ∈ R かつ 0 ≤ f] ならば 0 ≤ af が成り立つ。
に取り替えてもよい。束演算 "∧", "∨" を通例の如く定める(束論参照)ならば、これらと線型演算 "+", "•" との間に特定の関係 (clamp-rule) が成立する。
ベクトル束 X の元 p が正 (positive) あるいは非負 (non-negative) であるとは、0 ≤ p となることをいう。X の正の元全体 X はしばしば正錐 (positive cone) と呼ばれる。各元 f に対して、|f| := f ∨ (−f) を f の絶対値 (modulus) と呼ぶ。また、f := 0 ∨ f を f の正の成分 (positive part) といい、f := 0 ∨ (−f) を f の負の成分 (negative part) と呼ぶ。任意の f に対して、f, f はともに正の元で、f = f − f, |f| = f + f を満たす。