Теоремі про решетки.

Определение 6.1. Решеткой называется у-множество L, в котором любые два элемента x и y имеют точную нижнюю грань, называемую пересечением (обозначается x Ù y), и точную верхнюю грань, называемую объединением (обозначается x Ú y). Решетка L называется полной, если любое ее подмножество Х имеет в L точные верхнюю и нижнюю грани.