theorem Th14: :: BORSUK_5:15

for A being Subset of R^1 st A = RAT holds
Cl A = the carrier of R^1