into a directed set with the same supremum by closing under finite (non-empty) suprema.

When considering directed complete partial orders or complete lattices the additional requirements that the specified suprema exist can of course be dropped. A join-semilattice that is directed complete is almost a complete lattice (possibly lacking a least element)--see completeness (order theory)