Complete lattice (source code)

= Complete lattice
{wiki}

A complete lattice is a <partially ordered set> in which every subset has a meet and a join, including the empty subset.