Siguin un grup i una relació d'equivalència compatible en . Es dota el conjunt quocient d'estructura de grup mitjançant l'operació definida per Per abreujar farem .
Siguin un grup i una relació d'equivalència compatible en . Es dota el conjunt quocient d'estructura de grup mitjançant l'operació definida per Per abreujar farem .