Entonces el cociente "G/H" (donde identificamos dos puntos de "G" si se puede pasar de uno a otro trasladándolos por algún elemento de "H" ), es una variedad.