Вербальная конгруэнция

- пересечение всех конгруэнции [img: http://localhost:8080/file/010309-23.jpg] алгебры [img: http://localhost:8080/file/010309-24.jpg], факторалгебры [img: http://localhost:8080/file/010309-25.jpg] по к-рым принадлежат иек-рому фиксированному многообразию [img: http://localhost:8080/file/010309-26.jpg] -алгебр. Конгруэнция [img: http://localhost:8080/file/010309-27.jpg] произвольной ал-гебрапч. системы [img: http://localhost:8080/file/010309-28.jpg] наз. вербальной, если существует многообразие [img: http://localhost:8080/file/010309-29.jpg] -систем, для к-рого каноническое отображение [img: http://localhost:8080/file/010309-30.jpg] является [img: http://localhost:8080/file/010309-31.jpg] -мор-физмом. В. к. является вполне характеристической конгруэнцией. Если [img: http://localhost:8080/file/010309-32.jpg] - свободная [img: http://localhost:8080/file/010309-33.jpg] -система в нек-ром многообразии [img: http://localhost:8080/file/010309-34.jpg], то п, обратно, всякая вполне характеристическая конгруэнция [img: http://localhost:8080/file/010309-35.jpg] в [img: http://localhost:8080/file/010309-36.jpg] является В. к. относительно многообразия [img: http://localhost:8080/file/010309-37.jpg], порожденного фактор-системой [img: http://localhost:8080/file/010309-38.jpg].