The partition lattice of order
n is the lattice of
setPartitions of the set
{1,...,n} with ordering given by refinement. That is, the set-partition
p is greater than or equal to the set-partition
q if each part of
p is contained in exactly one part of
q.