Congruence Principale

- Mathematics & Logic -
Pure Mathematics Dictionary
La plus petite relation de congruence sur une algèbre contenant une paire ou un ensemble d'éléments donnés ; en d'autres termes, la congruence engendrée par ces éléments sous réflexivité, symétrie, transitivité et compatibilité avec les opérations algébriques.