In mathematics, a partially ordered space (or pospace) is a topological space X {\displaystyle X} equipped with a closed partial order ≤ {\displaystyle \leq } , i.e. a partial order whose graph { ( x , y ) ∈ X 2 ∣ x ≤ y } {\displaystyle \{(x,y)\in X^{2}\mid x\leq y\}} is a closed subset of X 2 {\displaystyle X^{2}} .
From pospaces, one can define dimaps, i.e. continuous maps between pospaces which preserve the order relation.