Equivalentemente, una subconjunto F de G/H es cerrado, ssi, η(F) es cerrado.