This definition is extracted from "Introduction to Algorithm, 2nd Edition".
The iterated logarithm function
We use the notation $\lg^* n$ (read "log star of $n$") to denote the iterated logarithm, which is defined as follows. Let $\lg^{(i)} n$ be as defined above, with $f(n) = \lg n$. Because the logarithm of a nonpositive number is undefined, $\lg^{(i)} n$ is defined only if $\lg^{(i-1)} > 0$. Be sure to distinguish $\lg^{(i)}n$ (the logarithm function applied $i$ times in succession, starting with argument $n$) from $\lg^i n$ (the logarithm of $n$ raised to the $i$-th power). The iterated logarithm function is defined as
$\lg^* n = \min \{i > 0: \lg^{(i)} n ≤ 1\}$
The iterated logarithm is a very slowly growing function:
$\lg^* 2 = 1$,
$\lg^* 4 = 2$,
$\lg^* 16 = 3$,
$\lg^* 65536 = 4$,
$\lg^* 265536 = 5$.
First, I don't really understand the definition of $\lg^* n$. I haven't met set defined like $\min \{i = 0: ... \}$. What does that mean?
Second, according to the definition of $\lg^* n$, which is asymptotically larger: $\lg(\lg^* n)$ or $\lg^*(\lg n)$?