Подрешетка

- подмножество А элементов решетки, замкнутое относительно операций + и, т. е. такое подмножество, что [img: http://localhost:8080/file/041721-67.jpg] и [img: http://localhost:8080/file/041721-68.jpg] для любых а, b из А. Таким образом, П. является подалгеброй решетки, рассматриваемой как универсальная алгебра с двумя бинарными операциями. Подрешетка Аназ. выпуклой, если из [img: http://localhost:8080/file/041721-69.jpg] и [img: http://localhost:8080/file/041721-70.jpg] вытекает, что [img: http://localhost:8080/file/041721-71.jpg]. Примерами П. являются всякое одноэлементное подмножество решетки, идеал, фильтр, интервал. Все эти П. выпуклые. Любое подмножество элементов цепи является ее П. (не обязательно выпуклой). Все П. данной решетки, упорядоченные отношением включения, образуют решетку.