Order topology (functional analysis)
In mathematics, specifically in order theory and functional analysis, the order topology of an ordered vector space ( X , ≤ ) {\displaystyle (X,\leq )} is the finest locally convex topological vector space (TVS) topology on X {\displaystyle X} for which every order interval is bounded, where an order interval in X {\displaystyle X} is a set of the form [ a , b ] := { z ∈ X : a ≤ z and z ≤ b } {\displaystyle [a,b]:=\left\{z\in X:a\leq z{\text{ and }}z\leq b\right\}} where a {\displaystyle a} and b {\displaystyle b} belong to X . {\displaystyle X.} The order topology is an important topology that is used frequently in the theory of ordered topological vector spaces because the topology stems directly from the algebraic and order theoretic properties of ( X , ≤ ) , {\displaystyle (X,\leq ),} rather than from some topology that X {\displaystyle X} starts out having.
Source: Wikipedia — Order topology (functional analysis) (CC BY-SA 4.0)