theorem
  F is closed implies for G being Subset-Family of A st G=F holds G is closed
by Th26;
