for T being TopSpace holds Closed_Domains_of T c= Domains_of T