I-боб. Умумий тушунчалар 1-§. Тўпламлар назариясининг асосий тушунчалари

Панжаранинг дедекиндлик критерияси: панжара дедекинд панжара бўлиши учун, панжарага изоморф бўлган šисм панжара мавжуд бўлмаслиги етарли ва зарур (1,а-шакл):

а) б)

1-шакл.
панжара битта нол баландликдаги элемент, иккита бир баландликдаги элемент, битта икки баландликдаги ва битта уч баландликдаги элементни ўз ичига олади.

Панжаранинг модулярлик критериясидан фойдаланиб, дистрибутивлик критериясини šулай ќисоблаш шаклини ќол учун келтирамиз:

панжара шунда ва фаšат шундагина дистрибутив бўлади, šачонки у га изоморф бўлган šисм панжарани ўз ичига олмаса, яъни дедекинд бўлса ва šисм панжарага изоморф бўлган šисм панжарани ўз ичига олмаса (1,б-шакл).

панжара битта нол баландликдаги элементдан, бир баландликдаги учта элементдан ва икки баландликдаги битта элементдан иборат икки узунликдаги учта занжирдан тузилган.

0 ва 1 структурали панжаранинг ќар бир элементининг тўлдирувчиси мавжуд бўлсин. У ваšтда бу панжарада унар операция берилган деса бўлади. Агар юšорида акс эттирилган хусусиятларга эга бўлган панжарада

(а)

(б)

(в)

муносабатлар бажарилса, у ќолда панжарага тўлдирувчили (тўлдирувчиси бор) панжара деб айтилади.

(а) ва (б) ларга асосан