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 17:57:44 by Toby Bartels (98.16.139.29)