for T being non empty TopSpace holds Fr ({} T) = {}