theorem Th59:
  MaxADSet(A) c= Cl A
proof
  Cl A = meet {F where F is Subset of X : F is closed & A c= F} by Th1;
  hence thesis by Th58;
end;
