 Complete join-semilattice

A complete join-semilattice is a poset with joins of all families, including the empty family. A morphism preserves arbitrary joins.