for X being non empty TopSpace
for A being Subset of X holds MaxADSet (Int A) = Int A by Th56;