theorem Th31: :: TDLAT_1:31

for T being TopSpace holds Closed_Domains_of T c= Domains_of T