theorem Th54: :: TOPS_1:54

for GX being TopStruct
for R being Subset of GX st R is nowhere_dense holds
R ` is dense