reserve T for non empty TopSpace,
  A, B for Subset of T,
  F, G for Subset-Family of T;
reserve x for Point of T;

theorem Th59:
  for F, G being Subset-Family of T st F is all-open-containing &
  F c= G holds G is all-open-containing;
