theorem Th28: :: TEX_4:28

for Y being non empty TopStruct
for x being Point of Y holds MaxADSet x = MaxADSet {x}