Lecture, three hours. Requisite: course 210A. Partially ordered sets, lattices, distributivity, modularity; completeness, interaction with combinatorics, topology, and logic; algebraic systems, congruence lattices, subdirect decomposition, congruence laws, equational bases, applications to lattices.