Partially ordered space

In mathematics, a partially ordered space (or pospace) is a topological space equipped with a closed partial order , i.e. a partial order whose graph is a closed subset of . From pospaces, one can define dimaps, i.e. continuous maps between pospaces which preserve the order relation.

Partially ordered space

In mathematics, a partially ordered space (or pospace) is a topological space equipped with a closed partial order , i.e. a partial order whose graph is a closed subset of . From pospaces, one can define dimaps, i.e. continuous maps between pospaces which preserve the order relation.