Relation de Congruence

- Pure Mathematics -
Algebra Dictionary
Une relation d'équivalence sur une structure algébrique préservée par chaque opération de base de l'algèbre, de sorte que l'ensemble des classes d'équivalence hérite d'opérations induites bien définies et forme ainsi une algèbre quotient.