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

theorem Th73:
  for F being Subset-Family of T holds F is closed-domains-family
  implies F is closed
proof
  let F be Subset-Family of T;
  assume
A1: F is closed-domains-family;
  for A being Subset of T holds A in F implies A is closed
  proof
    let A be Subset of T;
    assume A in F;
    then A is closed_condensed by A1;
    hence thesis by TOPS_1:66;
  end;
  hence thesis by TOPS_2:def 2;
end;
