theorem Th32: :: ISOMICHI:32

for A being Subset of R^1
for a, b, c being Real st A = ].-infty,a.[ \/ (RAT (b,c)) & a < b & b < c holds
Int A = ].-infty,a.[