partially ordered space

topological space equipped with a closed partial order

Categories: