@MISC{WAYBEL32.MIZ,
  AUTHOR = {Gr\c{a}dzka, Ewa},
  TITLE = {On the Order-consistent Topology of Complete and Uncomplete Lattices},
  ACKNOWLEDGEMENT = {I would like to thank Dr. Grzegorz Bancerek for his help in 
 the preparation of this article.},
  DAY = {23},
  MONTH = {May},
  YEAR = {2000},
  ADDRESS1 = {University of Bia{\l}ystok},
  SUMMARY = {This paper is a continuation of the formalisation of \cite{CCL} pp.~108--109.
Order-consistent and upper topologies are defined. The theorem that the Scott
and the upper topologies are order-consistent is proved. Remark 1.4 and
example 1.5(2) are generalized for proving this theorem.}}

