theorem :: TEX_4:50

for X being non empty TopSpace
for x, y being Point of X holds
( MaxADSet x misses MaxADSet y iff Cl {x} <> Cl {y} ) by Th49, Th22;