Existential Generalisation

Also known as
Some authors call this the Rule of Existential Introduction and it is then abbreviated $\text {EI}$.

However, beware the fact that other authors use $\text {EI}$ to abbreviate the Rule of Existential Instantiation which is the antithesis of this one.

So make sure you know exactly what terminology is specified.