ВПОЛНЕ ДЕДЕКИНДОВА РЕШЕТКА

полная решетка, в к-рой для любых ее элементов таких, что при имеет место равенство

Всякая В. д. р. является дедекиндовой. Если в универсальной алгебре конгруэнции перестановочны, то решетка конгруэнции этой алгебры вполне дедекиндова [1]. Лит.:[1] Dwinger Ph., "Proc. Neder. Ac.", 1958, ser. A, v. 61, p. 70-76. О. А. Иванова.