Математическая энциклопедия:
Пересечение всех конгруэнции алгебры , факторалгебры по к-рым принадлежат иек-рому фиксированному многообразию -алгебр. Конгруэнция произвольной ал-гебрапч. системы наз. вербальной, если существует многообразие -систем, для к-рого каноническое отображение является -мор-физмом. В. к. является вполне характеристической конгруэнцией. Если — свободная -система в нек-ром многообразии , то п, обратно, всякая вполне характеристическая конгруэнция в является В. к. относительно многообразия , порожденного фактор-системой . Лит.:[1] Мальцев А. И., Алгебраические системы, М., 1970. Д. М. Смирнов.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020