GeneralTopology.idx:indexentry{dense set|hyperpage}{13}
GeneralTopology.ind:  item dense set, hyperpage{13}
SetTheory.idx:indexentry{dense set|hyperpage}{70}
SetTheory.ind:  item dense set, hyperpage{70}