theorem :: TEX_4:18

for Y being non empty TopStruct
for x being Point of Y holds {x} c= MaxADSet x by Th12;