theorem Th52: :: TOPGEN_1:52

IRRAT is dense Subset of R^1