theorem Th43: :: TOPGEN_5:43

RAT is dense Subset of Sorgenfrey-line