theorem :: TEX_4:61

for X being non empty TopSpace
for A being Subset of X holds MaxADSet (Cl A) = Cl A by Th60;