Distributive lattice (source code)

= Distributive lattice
{wiki}

A distributive lattice is a <lattice> in which meet distributes over join and, equivalently, join distributes over meet.