The upper interval topology on a proset $X$ is given by taking the down sets in $X$ as generating the closed subsets.