theorem Th55:
  MaxADSet(A) c= meet {G where G is Subset of X : G is open & A c= G} by Th39;
