theorem :: TEX_4:7

for Y being non empty TopStruct
for A being empty Subset of Y holds A is anti-discrete ;