 Item 3 says that the preorder is a join semilattice.Because the preorder is compatible with the vector space structure, one can show that any pair also have an infimum, making also a meet semilattice, hence a lattice.A preordered vector space "E" is a preordered vector lattice if and only if it satisfies any of the following equivalent properties