 Ordered topological vector space

An **ordered topological vector space** is a type of vector space that is equipped with both a topology and a compatible order structure. This combination allows for the analysis of vector spaces not only in terms of their algebraic and topological properties but also with respect to an order relation.