@MISC{WAYBEL29.MIZ,
  AUTHOR = {Bancerek, Grzegorz and Naumowicz, Adam},
  TITLE = {The Characterization of the Continuity of Topologies},
  NOTE = {This work has been supported by KBN Grant 8 T11C 018 12.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Some Natural Isomorphisms},
  SECTION3 = {The Poset of Open Sets},
  SECTION4 = {The Poset of Scott Open Sets},
  DAY = {06},
  MONTH = {January},
  YEAR = {2000},
  ADDRESS1 = {University of Bia{\l}ystok},
  ADDRESS2 = {University of Bia{\l}ystok},
  SUMMARY = {Formalization of \cite[pp. 128--130]{CCL}, chapter II, section 4 (4.10, 4.11).}}

