theorem
  Cl MaxADSet(A) = Cl A by Th59,TOPS_1:5,Th32,PRE_TOPC:19;
