 The order dual of a vector lattice "X" can be finite dimension (possibly even { 0 }) even if "X" is infinite-dimensional.Suppose that "X" is an ordered vector space such that the canonical order on "X"+ makes "X"+ into an ordered vector space.Then the order bidual is defined to be the order dual of "X"+ and is denoted by "X"++.