theorem Th35: :: TEX_4:35

for Y being non empty TopStruct
for A, B being Subset of Y st B c= MaxADSet A & A c= MaxADSet B holds
MaxADSet A = MaxADSet B by Th34;