有序向量空間

有序向量空間係指一個向量空間，上面定義咗一個偏序關係，而且呢個偏序關係同向量空間嘅運算係相容嘅。