[[1] Raymond Balbes and Philip Dwinger. Distributive Lattices. University of Missouri Press, 1975.]Search in Google Scholar
[[2] Grzegorz Bancerek. Filters - part I. Formalized Mathematics, 1(5):813-819, 1990.]Search in Google Scholar
[[3] Grzegorz Bancerek. Ideals. Formalized Mathematics, 5(2):149-156, 1996.]Search in Google Scholar
[[4] Grzegorz Bancerek. Complete lattices. Formalized Mathematics, 2(5):719-725, 1991.]Search in Google Scholar
[[5] Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.]Search in Google Scholar
[[6] Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.]Search in Google Scholar
[[7] Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.]Search in Google Scholar
[[8] Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.]Search in Google Scholar
[[9] G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D.S. Scott. A Compendium of Continuous Lattices. Springer-Verlag, Berlin, Heidelberg, New York, 1980.10.1007/978-3-642-67678-9]Search in Google Scholar
[[10] George Grätzer. General Lattice Theory. Academic Press, New York, 1978.10.1007/978-3-0348-7633-9]Search in Google Scholar
[[11] George Grätzer. Lattice Theory: Foundation. Birkhäuser, 2011.10.1007/978-3-0348-0018-1]Search in Google Scholar
[[12] Jolanta Kamienska. Representation theorem for Heyting lattices. Formalized Mathematics, 4(1):41-45, 1993.]Search in Google Scholar
[[13] Jolanta Kamienska and Jarosław Stanisław Walijewski. Homomorphisms of lattices, finite join and finite meet. Formalized Mathematics, 4(1):35-40, 1993.]Search in Google Scholar
[[14] Agnieszka Julia Marasik. Boolean properties of lattices. Formalized Mathematics, 5(1): 31-35, 1996.]Search in Google Scholar
[[15] Leopoldo Nachbin. Une propriété characteristique des algebres booleiennes. Portugaliae Mathematica, 6:115-118, 1947.]Search in Google Scholar
[[16] Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.]Search in Google Scholar
[[17] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.]Search in Google Scholar
[[18] Marshall H. Stone. The theory of representations of Boolean algebras. Transactions of the American Mathematical Society, 40:37-111, 1936.10.1090/S0002-9947-1936-1501865-8]Search in Google Scholar
[[19] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.]Search in Google Scholar
[[20] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.]Search in Google Scholar
[[21] Jarosław Stanisław Walijewski. Representation theorem for Boolean algebras. Formalized Mathematics, 4(1):45-50, 1993.]Search in Google Scholar
[[22] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.]Search in Google Scholar
[[23] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.]Search in Google Scholar
[[24] Stanisław Zukowski. Introduction to lattice theory. Formalized Mathematics, 1(1):215-222, 1990. ]Search in Google Scholar
