gH = -LCB- gh : h un élément de H & thinsp ; -RCB- est un coensemble gauche de H dans G, et
Si G est un groupe et H un sous-groupe de G, x est un élément de G, et h est un élément de H les ensembles de H en G sont définis comme suit :