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