Erzeugte Kongruenz

Die kleinste Kongruenzrelation auf einer Algebra, die ein bestimmtes Paar oder eine bestimmte Menge von Elementen enthält; äquivalent dazu: die von diesen Elementen erzeugte Kongruenz unter Reflexivität, Symmetrie, Transitivität und Verträglichkeit mit den Operationen.