theorem Th11: :: TEX_4:11

for Y being non empty TopStruct
for x being Point of Y holds {x} = meet (MaxADSF x)