Clopen up-set
= Clopen up-set
A clopen up-set is both <clopen set>[clopen] in the topology and upward closed in the order. The clopen up-sets of a Priestley space form a <distributive lattice> under intersection and union.
= Clopen up-set
A clopen up-set is both <clopen set>[clopen] in the topology and upward closed in the order. The clopen up-sets of a Priestley space form a <distributive lattice> under intersection and union.