 If the positive cone of an ordered vector space "X" is generating and if for all positive "x" and "y" we have [0, "x"] + [0, "y"] = [0, "x" + "y"] then "X"++ is an order complete vector lattice and the evaluation map "X" → "X"++ is order preserving.In particular, if "X" is a vector lattice then "X"++ is an order complete vector lattice.If "X" is a vector lattice and if "G" is a solid subspace of "X"+ that separates points in "X", then the evaluation map "X" → "G"+ defined by sending "x" in "X" to the map formula_3 given by formula_4, is a lattice isomorphism of "X" onto a vector sublattice of "G"+.