for T being non empty TopSpace
for F being open Subset-Family of T holds F c= BorelSets T