Ordered vector space

A point in and the set of all such that (in red). The order here is if and only if and

In mathematics, an ordered vector space or partially ordered vector space is a vector space equipped with a partial order that is compatible with the vector space operations.