for T being non empty TopSpace holds BorelSets T = sigma (Topology_of T)