preordered vector space）。若formula_4还是偏序，则formula_10称为有序向量空间。这两条公理说明，平移与正的位似变换是序结构的自同构，并且映射formula_13是到对偶序结构的同构。有序向量空间关于其加法运算构成有序群。
正锥.给定预序向量空间formula_2，子集formula_15是一个凸锥，称为formula_2的正锥（positive cone）。若formula_2是有序向量空间，则formula_18，因此formula_19还