let A be Subset of R^1; :: thesis: ( A = RAT implies A is dense )
assume A = RAT ; :: thesis: A is dense
then Cl A = the carrier of R^1 by BORSUK_5:35;
hence A is dense by TOPS_3:def 2; :: thesis: verum