Lattice of partitions