theorem Th13: :: TEX_4:13

for Y being non empty TopStruct
for x being Point of Y holds union (MaxADSF x) is anti-discrete