Construction de Quotient

Le processus consistant à former un nouvel objet algébrique en écrasant un objet initial selon une relation d'équivalence (une congruence, un idéal, un sous-groupe normal, etc.) compatible avec les opérations, produisant l'objet quotient dont les éléments sont des classes d'équivalence et dont les opérations sont bien définies sur ces classes.