theorem Th6: :: TEX_4:6

for Y being non empty TopStruct
for x being Point of Y holds {x} is anti-discrete