[ or: imbed; in sth
The correspondence f→ Af embeds F as a closed ideal in G.
The next lemma shows how such a semilattice looks when embedded in a larger compact semilattice.