theorem Th35: :: TDLAT_1:35

for T being TopSpace holds Open_Domains_of T c= Domains_of T