Ordered topological vector space (source code)

= Ordered topological vector space
{wiki=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.