Cl B = the carrier of R^1 by BORSUK_5:35;
hence RAT is dense Subset of R^1 by TOPS_3:def 2; :: thesis: verum