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