ordered vector space

vector space with a partial order