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