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