theorem :: TDLAT_3:52

for X being non empty TopSpace st Closed_Domains_Lattice X = Open_Domains_Lattice X holds
X is extremally_disconnected