theorem Th49: :: TDLAT_3:49

for X being non empty TopSpace holds
( X is extremally_disconnected iff Domains_Lattice X is M_Lattice )