theorem Th15: :: TEX_4:15

for Y being non empty TopStruct
for A being empty Subset of Y holds not A is maximal_anti-discrete