The termination criterion is problem-dependent, like in any other EA.
\{ z_k \} is a temporary population so that all emigrating variables can originate from the population that is in place at the beginning of the generation, which is \{ x_k \} .