reserve X for non empty TopSpace;
reserve Y for non empty TopStruct;
reserve x for Point of Y;
reserve Y for non empty TopStruct;

theorem Th35:
  for A, B being Subset of Y st
    B c= MaxADSet(A) & A c= MaxADSet(B) holds MaxADSet(A) = MaxADSet(B)
  by Th34;
