Given a semilattice $S$, a subset $E$, and a positive integer $n$, let $E^{[n]}$ be the set of all products of $n$-tuples in $E$. Thus $\bigcup_{n\geq 1} E^{[n]}$ is nothing but the subsemigroup of $S$ generated by $E$, which I'll denote by $\langle E\rangle$.

The following definition arose in some work I am writing up, as a technical condition needed to make a theorem work.

**Definition.** $S$ has "generation depth $\leq n$" if there exists $n$ such that $E^{[n]} = \langle E\rangle$ for *every* subset $E\subseteq S$.

The terminology is my own, because I don't know if there is existing terminology that I should be using instead. So my questions are: has anyone seen this definition before, and do they have a reference where this condition is given an explicit name?

**Some remarks.**
It is clear that for each $n$, I can find a finite semilattice which does not have generation depth $\leq n$ (a free semilattice on at least $n+1$ generators, for instance). On the other hand, easy pigeon-hole arguments show that a semilattice of width $n$ has generation depth $\leq n$, as does a semilattice of height $n$.