theorem Th59: :: TEX_4:59

for X being non empty TopSpace
for A being Subset of X holds MaxADSet A c= Cl A