theorem Th2: :: TOPGEN_6:2

[:RAT,RAT:] is dense Subset of Sorgenfrey-plane