for T being TopSpace holds Open_Domains_of T c= Domains_of T