Positive cone of an ordered vector space