О полурешётках формульных подалгебр

В вопросах строения универсальных алгебр $\mathcal A$ важную роль играют производные структуры: группы автоморфизмов $\operatorname{Aut}\mathcal A$, решётки подалгебр $\operatorname{Sub}\mathcal A$, решётки конгруэнций $\operatorname{Con}\mathcal A$ и проч. С другой стороны, при изучении универсальных алгебр методами теории моделей принципиально важно, какие элементы из этих производных структур выразимы теми или иными формулами элементарного языка. Вопросы, касающиеся взаимоотношения алгебр и их производных структур, рассматриваются для подалгебр универсальных алгебр.