theorem Th12: :: TEX_4:12

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