  We extend the theory of atomized semilattices to the infinite setting. We
show that it is well-defined and that every semilattice is atomizable. We also
study atom redundancy, focusing on complete and finitely generated semilattices
and show that for finitely generated semilattices, atomizations consisting
exclusively of non-redundant atoms always exist.
