Algebra
Algebraic structures
Order theory
Boolean algebra
Distributive lattice
Congruence lattice problem
Lattice
Ideal
Distributivity
Abstract algebra
Mathematics
Lattice theory