for T being TopSpace holds {} T is condensed