ordered vector space,
n.
a
vector space
endowed with a
partial ordering
that respects addition and positive multiplication. See
ordered structure
.
