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

theorem
  A is G_delta & B is G_delta implies A /\ B is G_delta
proof
  assume that
A1: A is G_delta and
A2: B is G_delta;
  consider F being open countable Subset-Family of T such that
A3: A = meet F by A1;
  consider G being open countable Subset-Family of T such that
A4: B = meet G by A2;
  reconsider H = INTERSECTION (F,G) as Subset-Family of T;
  per cases;
  suppose
A5: F <> {} & G <> {};
A6: H is open by Th23;
    card H c= card [:F,G:] & [:F,G:] is countable by Th25,CARD_4:7;
    then
A7: H is countable by WAYBEL12:1;
    A /\ B = meet H by A3,A4,A5,Th34;
    hence thesis by A6,A7;
  end;
  suppose
    F = {} or G = {};
    then A = {} or B = {} by A3,A4,SETFAM_1:def 1;
    then A /\ B = {}T;
    hence thesis;
  end;
end;
