ordered_vector_space