theorem Th32: :: TEX_4:32

for Y being non empty TopStruct
for A being Subset of Y holds A c= MaxADSet A