Математическая энциклопедия - вполне дедекиндова решетка

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985