theorem :: TOPGEN_4:66

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