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

theorem
  for T being non empty TopSpace, F being Subset-Family of T st F is
  compl-closed closed_for_countable_unions holds F is SigmaField of T by Th13;
