Complete lattices, completions Lattices mathematics