 A vector space with such an order is called an ordered vector space.Examples include the product order on real-valued vectors, formula_35 and the Loewner order on positive semidefinite matrices.Such an ordering is commonly found in positive semidefinite programming.