@MISC{WAYBEL_7.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Prime Ideals and Filters},
  NOTE = {This work has been partially supported by
   the Office of Naval Research Grant N00014-95-1-1336.},
  SECTION1 = {The lattice of subsets},
  SECTION2 = {Prime ideals and filters},
  SECTION3 = {Cluster points of a filter of sets},
  SECTION4 = {Pseudo prime elements},
  DAY = {01},
  MONTH = {December},
  YEAR = {1996},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {The part of \cite[pp.~73--77]{CCL}, i.e. definitions
and propositions 3.16--3.27, is formalized in the paper.}}

