for X being non empty TopSpace
for P being Subset of X st P is closed holds
MaxADSet P = P