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

theorem Th49:
  Cl Int(meet F) c= meet(Cl Int F)
proof
A1: Cl (meet Int F) c= meet(Cl Int F) by Th14;
  Cl Int(meet F) c= Cl meet(Int F) by Th28,PRE_TOPC:19;
  hence thesis by A1;
end;
