theorem Th30: :: BORSUK_5:31

for A being Subset of R^1
for a, b being Real st a < b & A = RAT (a,b) holds
Cl A = [.a,b.]