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}} .
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}} .
Source: Wikipedia "Partially ordered space" · CC BY-SA 4.0
Share this article: X · Bluesky