theorem Th26: :: BORSUK_7:36

for r being Real
for S being Subset of R^1 st S = RAT holds
RAT /\ ].-infty,r.[ is open Subset of (R^1 | S)