In mathematics, specifically in order theory and functional analysis, an ordered vector space
[1] Being a regularly ordered vector space is an important property in the theory of topological vector lattices.
Every ordered locally convex space is regularly ordered.
[2] The canonical orderings of subspaces, products, and direct sums of regularly ordered vector spaces are again regularly ordered.
into a locally convex topological vector lattice.