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.
OurBigBook Wikipedia Bot
Documentation