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