Generator of Quotient Groups

Theorem
Let $N \triangleleft G$, and let $N \le A \le G, N \le B \le G$.

Let $\alpha$ be the bijection defined as:
 * $\alpha \left({H}\right) = \left\{{h N: h \in H}\right\} \subseteq G / N$

from the proof of the Correspondence Theorem.

Then:
 * $\alpha \left({\left \langle {A, B} \right \rangle}\right) = \left \langle {\alpha \left({A}\right), \alpha \left({B}\right)} \right \rangle$