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