Об алгебрах с идентичными алгебраическими множествами

Приводится описание взаимосвязи так называемых аддитивных универсальных алгебр $\mathfrak A_0=\langle A;\sigma_0\rangle$, $\mathfrak A_1=\langle A;\sigma_1\rangle$ с общим основным множеством $A$, имеющих одни и те же алгебраические множества ($\operatorname{Alg}_n\mathfrak A_0=\operatorname{Alg}_n\mathfrak A_1$ для любого $n\in\omega$) и подалгебры ($\operatorname{Sub}\mathfrak A_0=\operatorname{Sub}\mathfrak A_1$).