theorem :: XXREAL_1:405

for s being Real holds [.-infty,s.] \ [.-infty,s.[ = {s}