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.