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

theorem Th18:
  for T being set holds {} is empty Subset-Family of T
proof
  let T be set;
  {}bool T = {};
  hence thesis;
end;
