Se define entonces "G"/"N" como el conjunto de clases laterales izquierdas de "N" en "G", esto es: