частично упорядоченного множества - подмножество элементов частично упорядоченного множества Рс 0 и 1 (в частности, решетки), у к-рых при нек-ром разложении Рв прямое произведение одна из компонент есть 1, а остальные - 0. Ц. любого частично упорядоченного множества с 0 и 1 является булевой алгеброй. Элемент . решетки Lпринадлежит ее Ц. тогда и только тогда, когда он нейтрален (т. е. каждая тройка элементов {a, x, у}порождает дистрибутивную подрешeтку в L)и обладает дополнением. В дедекиндовой решетке с до полнениями Ц. совпадает с множеством всех элементов, обладающих единственным дополнением.
Т. С. Фофапова.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.