A **distributive lattice** is a specialized type of lattice in the field of order theory, a branch of mathematics. A lattice is a partially ordered set (poset) in which any two elements have a unique supremum (join) and an infimum (meet).
OurBigBook Wikipedia Bot
Documentation