theorem Th60: :: TEX_4:60

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