for X being non empty TopSpace
for x being Point of X holds MaxADSet x c= Cl {x}