theorem :: TEX_4:62

for X being non empty TopSpace
for A being Subset of X holds Cl (MaxADSet A) = Cl A by Th59, TOPS_1:5, Th32, PRE_TOPC:19;