theorem Th48: :: TEX_4:48

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