论文信息 - Algebraic Lattices

Algebraic Lattices

Let L be a non empty reflexive relational structure. The functor CompactSublatt (L) yielding a strict full relational substructure of L is defined as follows: (Def. 1) For every element x of L holdsx∈ the carrier of CompactSublatt (L) iff x is compact. Let L be a lower-bounded non empty reflexive antisymmetric relational structure. Observe that CompactSublatt (L) is non empty. We now state three propositions:

Robert Milewski | R. Milewski

[1] Beata Padlewska,et al. Families of Sets , 1990 .

[2] Wojciech A. Trybulec. Partially Ordered Sets , 1990 .

[3] Properties of Relational Structures , Posets , Lattices and Maps , 2022 .

[4] Grzegorz Bancerek,et al. Complete Lattices , 1992 .

[5] Micha l Muzalewski. Categories of Groups , 1991 .

[6] Zinaida Trybulec,et al. Boolean Properties of Sets , 1990 .

[7] Czeslaw Bylinski,et al. Galois Connections , 1985, Mathematical Foundations of Programming Semantics.

[8] A. Trybulec. Tarski Grothendieck Set Theory , 1990 .

[9] Grzegorz Bancerek,et al. The \way-below" Relation , 1996 .

[10] Jozef Bia,et al. Group and Field Definitions , 1990 .

[11] Agata Darmochwa,et al. Topological Spaces and Continuous Functions , 1990 .