@MISC{TOPGEN_4.MIZ,
  AUTHOR = {Grabowski, Adam},
  TITLE = {On the {B}orel Families of Subsets of Topological Spaces},
  NOTE = {This work has been partially supported by the KBN grant
      4 T11C 039 24 and FP6 IST grant TYPES No. 510096.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Regular Formalization: Separable Spaces},
  SECTION3 = {Families of Subsets Closed for Countable Unions and Complement},
  SECTION4 = {On the Families of Subsets},
  SECTION5 = {Collective Properties of Families},
  SECTION6 = {$F_{\sigma}$ and $G_{\delta}$ Types of Subsets},
  SECTION7 = {$T_{1/2}$ Topological Spaces},
  SECTION8 = {Condensation Points},
  SECTION9 = {Borel Families of Subsets},
  DAY = {30},
  MONTH = {August},
  YEAR = {2005},
  ADDRESS1 = {University of Bia{\l}ystok},
  SUMMARY = {This is the next Mizar article in a series
  aiming at complete formalization of ``General Topology'' \cite{ENGEL:1}
  by Engelking. We cover the second part of Section 1.3.}}

