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