De hecho, esta correspondencia es una biyección entre el conjunto de todos los grupos cociente "G"/"H" y el conjunto de todas las imágenes homomórficas de "G" (salvo isomorfismo).