順序単位
ベクトル空間 X {\displaystyle X} 内の順序錐 K ⊆ X {\displaystyle K\subseteq X} に対して、元 e ∈ K {\displaystyle e\in K} が順序単位(より正確には、 K {\displaystyle K} -順序単位)であるとは、すべての x ∈ X {\displaystyle x\in X} に対してある λ x > 0 {\displaystyle \lambda _{x}>0} が存在し λ x e − x ∈ K {\displaystyle \lambda _{x}e-x\in K} が成立することを言う(すなわち、 x ≤ K λ x e {\displaystyle x\leq _{K}\lambda _{x}e} である)。