 The set of all positive linear forms on a vector space with positive cone "C", called the dual cone and denoted by formula_9, is a cone equal to the polar of −"C".The preorder induced by the dual cone on the space of linear functionals on "X" is called the dual preorder.The order dual of an ordered vector space "X" is the set, denoted by formula_10, defined by formula_11.