Лекция 6: Решётки

Мы познакомимся с понятием решётки и покажем, что всякую решётку можно воспринимать как частично упорядоченное множество, в котором у любых двух элементов есть супремум и инфимум, и наоборот. Далее, мы установим некоторые другие полезные факты, связанные с решётками, включая известную теорему Кнастера–Тарского о неподвижной точке. Напоследок будет определено понятие булевой алгебры.