Аннотация:
Рассматриваются гомоморфизмы многоосновных алгебраических систем, при которых могут
отождествляться как элементы основных множеств, так и операторы и предикаты, и их
использование для задания и решения уравнений (соотношений) над многоосновными
алгебраическими системами, в число неизвестных которых могут входить как элементы
основных множеств, так и операторы и предикаты.