theorem Th42: :: TDLAT_3:42

for Y being non empty extremally_disconnected TopSpace holds Domains_of Y = Open_Domains_of Y