theorem Th15: :: SRINGS_5:18

for n being Nat holds RAT n is dense Subset of (TOP-REAL n)