Se tiene una función canónica de G en G/H que asigna a cada x su clase