theorem Th41: :: TEX_4:41

for Y being non empty TopSpace
for A being Subset of Y holds MaxADSet A c= meet { F where F is Subset of Y : ( F is closed & A c= F ) }