for k being Real holds {k} in Borel_Sets