reserve T for TopSpace;
reserve T for non empty TopSpace;
reserve F for Subset-Family of T;

theorem Th48:
  union(Cl Int F) c= Cl Int(union F)
proof
A1: Cl(union Int F) c= Cl Int(union F) by Th27,PRE_TOPC:19;
  union(Cl Int F) c= Cl(union Int F) by Th15;
  hence thesis by A1;
end;
