 This property guarantees that there are sufficiently many positive linear forms to be able to successfully use the tools of duality to study ordered vector spaces.An ordered vector space is called a vector lattice if for all elements "x" and "y", the supremum sup("x", "y") and infimum inf("x", "y") exist.Throughout let "X" be a preordered vector space with positive cone "C".