Вполне дедекиндова решетка

полная решетка, в к-рой для любых ее элементов [img: http://localhost:8080/file/010319-130.jpg] таких, что [img: http://localhost:8080/file/010319-131.jpg] при [img: http://localhost:8080/file/010319-132.jpg] имеет место равенство [img: http://localhost:8080/file/010319-133.jpg] Всякая В. д. р. является дедекиндовой. Если в универсальной алгебре конгруэнции перестановочны, то решетка конгруэнции этой алгебры вполне дедекиндова [1].