A clopen up-set is both 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.
New to topics? Read the docs here!
New to topics? Read the docs here!