Msibi, Mxolisi
(University of Pretoria, 2023)
A vector space X is called an ordered vector space if for any elements x, y, z ∈ X and α ∈ R+,
x ⪯ y implies x + z ≤ y + z and 0 ≤ x implies 0 ≤ αx. If in addition, X is a lattice, that is if for
a pair {x, y} the inf{x, ...