theorem Th1: :: FINANCE2:5

for k being Real holds {k} in Borel_Sets