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