reconsider A = RAT as dense Subset of Sorgenfrey-line by Th47;
density Sorgenfrey-line c= card A by TOPGEN_1:def 12;
hence density Sorgenfrey-line c= omega by TOPGEN_3:17; :: according to TOPGEN_1:def 13 :: thesis: verum