# nLab upper interval topology

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

Created on July 1, 2010 at 17:57:44. See the history of this page for a list of all contributions to it.