Дополнения в структуре конгруенций

Доказано несколько теорем о строении универсальных алгебр, структура конгруенций которых является структурой с дополнениями. Среди следствий – полугрупповые результаты Граппи. При довольно слабых дополнительных условиях устанавливается, что наличие дополнений в структуре конгруенций как самой алгебры, так и всех ее факторалгебр влечет дистрибутивность этих структур.
Библиография: 6 названий.