ÂÏÎËÍÅ ÄÅÄÅÊÈÍÄÎÂÀ ÐÅØÅÒÊÀ

ÂÏÎËÍÅ ÄÅÄÅÊÈÍÄÎÂÀ ÐÅØÅÒÊÀ - ïîëíàÿ ðåøåòêà, â ê-ðîé äëÿ ëþáûõ åå ýëåìåíòîâ a_i, b_i, i ∈ I, òàêèõ, ÷òî a_i ≥ b_j, ïðè i ≠ j èìååò ìåñòî ðàâåíñòâî

(∩_i∈I) ∩ (∪_i∈Ib_i) = ∪_i∈I(a_i ∩ b_i).

Âñÿêàÿ Â. ä. ð. ÿâëÿåòñÿ äåäåêèíäîâîé. Åñëè â óíèâåðñàëüíîé àëãåáðå êîíãðóýíöèè ïåðåñòàíîâî÷íû, òî ðåøåòêà êîíãðóýíöèè ýòîé àëãåáðû âïîëíå äåäåêèíäîâà [1].

Ëèò.: [1] Dwinger Ph., «Ðrîñ. Neder. Àñ», 1958, ser. A, v. 61, ð. 70-76.

Î. À. Èâàíîâà.

Èñòî÷íèêè:

1. Ìàòåìàòè÷åñêàÿ Ýíöèêëîïåäèÿ. Ò. 1 (À - Ã). Ðåä. êîëëåãèÿ: È. Ì. Âèíîãðàäîâ (ãëàâ ðåä) [è äð.] - Ì., «Ñîâåòñêàÿ Ýíöèêëîïåäèÿ», 1977, 1152 ñòá. ñ èëë.