Гратиконгруенцій

ГРАТИ ПОДАЛГЕБР — у н і в е р с а л ь н о й а л е б р а А частково впорядкована (відношенням теоретико множинного включення) безліч Sub A всіх подалгебр алгебри А. Для довільних їх супремумом буде подалгебра, породжена Xі Y, а їх інфінумом.

ГРАТИ — с т р у к т у р а, частково впорядкована безліч, в кром кожне двоелементне підмножина має як точну верхню, так і точну нижню грані. Звідси випливає існування цих граней для будь-якої непустої кінцевої підмножини. П р і м е … Математична енциклопедія

Дистрибутивні грати — Дистрибутивні грати грати, в яких справедливо тотожність (a + b)c = ac + bc рівносильна тотожності ab + c = (a + c)(b + c) і (a + b)( a + c) (b + c) = ab + ac + bc Дистрибутивні ґрати характеризуються тим, що всі їх опуклі ґрати… … Вікіпедія

Повна решітка — Повна решітка частково впорядкована множина, в якій усяка непуста підмножина A має точну верхню і нижню грань, які називаються зазвичай об'єднанням і перетином елементів підмножини A і позначаються і (або просто і ) відповідно ... Вікіпедія

НАПІВГРУПА - безліч з однією бінарною операцією, що задовольняє закону асоціативності. Поняття П. є узагальнення поняття групи: з аксіом групи залишається лише одна асоціативність; цим пояснюється термін П. . П. називають іноді моноїдами, але останній ... Математична енциклопедія

Дистрибутивні грати — Дистрибутивні грати грат, у яких справедливо тотожність рівносильне тотожності і Дистрибутивні грати характеризуються тим, що їх опуклі подрешетки служать суміжними класами конгруенций. Будь-які дистрибутивні грати… … Вікіпедія

---