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