| Preface | |
| Contents | |
| Basic Theory | |
| Partially Ordered Sets | p. 1 |
| Basic Definitions | p. 1 |
| Duality | p. 10 |
| Monotone Maps | p. 13 |
| Down-Sets and the Down Map | p. 13 |
| Height and Graded Posets | p. 15 |
| Chain Conditions | p. 16 |
| Chain Conditions and Finiteness | p. 17 |
| Dilworth's Theorem | p. 18 |
| Symmetric and Transitive Closures | p. 20 |
| Compatible Total Orders | p. 21 |
| The Poset of Partial Orders | p. 23 |
| Exercises | p. 23 |
| Well-Ordered Sets | p. 27 |
| Well-Ordered Sets | p. 27 |
| Ordinal Numbers | p. 31 |
| Transfinite Induction | p. 37 |
| Cardinal Numbers | p. 37 |
| Ordinal and Cardinal Arithmetic | p. 42 |
| Complete Posets | p. 43 |
| Confinality | p. 46 |
| Exercises | p. 47 |
| Lattices | p. 49 |
| Closure and Inheritance | p. 49 |
| Semilattices | p. 51 |
| Arbitrary Meets Equivalent to Arbitrary Joins | p. 52 |
| Lattices | p. 53 |
| Meet-Structures and Closure Operators | p. 55 |
| Properties of Lattices | p. 60 |
| Join-Irreducible and Meet-Irreducible Elements | p. 64 |
| Completeness | p. 65 |
| Sublattices | p. 68 |
| Denseness | p. 70 |
| Lattice Homomorphisms | p. 71 |
| The B-Down Map | p. 73 |
| Ideals and Filters | p. 74 |
| Prime and Maximal Ideals | p. 77 |
| Lattice Representations | p. 79 |
| Special Types of Lattices | p. 80 |
| The Dedekind-MacNeille Completion | p. 85 |
| Exercises | p. 89 |
| Modular and Distributive Lattices | p. 95 |
| Quadrilaterals | p. 95 |
| The Definitions | p. 95 |
| Examples | p. 96 |
| Characterizations | p. 98 |
| Modularity and Semimodularity | p. 104 |
| Partition Lattices and Representations | p. 110 |
| Distributive Lattices | p. 121 |
| Irredundant Join-Irreducible Representations | p. 123 |
| Exercises | p. 124 |
| Boolean Algebras | p. 129 |
| Boolean Lattices | p. 129 |
| Boolean Algebras | p. 130 |
| Boolean Rings | p. 131 |
| Boolean Homomorphisms | p. 134 |
| Characterizing Boolean Lattices | p. 136 |
| Complete and Infinite Distributivity | p. 138 |
| Exercises | p. 142 |
| The Representation of Distributive Lattices | p. 145 |
| The Representation of Distributive Lattices with DCC | p. 145 |
| The Representation of Atomic Boolean Algebras | p. 146 |
| The Representation of Arbitrary Distributive Lattices | p. 147 |
| Summary | p. 149 |
| Exercises | p. 150 |
| Algebraic Lattices | p. 153 |
| Motivation | p. 153 |
| Algebraic Lattices | p. 155 |
| [characters not reproducible]-Structures | p. 156 |
| Algebraic Closure Operators | p. 158 |
| The Main Correspondence | p. 159 |
| Subalgebra Lattices | p. 160 |
| Congruence Lattices | p. 162 |
| Meet-Representations | p. 163 |
| Exercises | p. 166 |
| Prime and Maximal Ideals; Separation Theorems | p. 169 |
| Separation Theorems | p. 169 |
| Exercises | p. 176 |
| Congruence Relations on Lattices | p. 179 |
| Congruence Relations on Lattices | p. 180 |
| The Lattice of Congruence Relations | p. 185 |
| Commuting Congruences and Joins | p. 187 |
| Quotient Lattices and Kernels | p. 189 |
| Congruence Relations and Lattice Homomorphisms | p. 191 |
| Standard Ideals and Standard Congruence Relations | p. 195 |
| Exercises | p. 202 |
| Topics | |
| Duality for Distributive Lattices: The Priestley Topology | p. 209 |
| The Duality Between Finite Distributive Lattices and Finite Posets | p. 215 |
| Totally Order-Separated Spaces | p. 218 |
| The Priestley Prime Ideal Space | p. 219 |
| The Priestley Duality | p. 222 |
| The Case of Boolean Algebras | p. 229 |
| Applications | p. 230 |
| Exercises | p. 235 |
| Free Lattices | p. 239 |
| Lattice Identities | p. 239 |
| Free and Relatively Free Lattices | p. 240 |
| Constructing a Relatively Free Lattice | p. 243 |
| Characterizing Equational Classes of Lattices | p. 245 |
| The Word Problem for Free Lattices | p. 247 |
| Canonical Forms | p. 250 |
| The Free Lattice on Three Generators Is Infinite | p. 255 |
| Exercises | p. 259 |
| Fixed-Point Theorems | p. 263 |
| Fixed Point Terminology | p. 264 |
| Fixed-Point Theorems: Complete Lattices | p. 265 |
| Fixed-Point Theorems: Complete Posets | p. 269 |
| Exercises | p. 274 |
| A Bit of Topology | p. 277 |
| Topological Spaces | p. 277 |
| Subspaces | p. 277 |
| Bases and Subbases | p. 277 |
| Connectedness and Separation | p. 278 |
| Compactness | p. 278 |
| Continuity | p. 280 |
| The Product Topology | p. 280 |
| A Bit of Category Theory | p. 283 |
| Categories | p. 283 |
| Functors | p. 285 |
| Natural Transformations | p. 287 |
| References | p. 293 |
| Index of Symbols | p. 297 |
| Index | p. 299 |
| Table of Contents provided by Ingram. All Rights Reserved. |