Решетка (порядок)
- Решетка – частично упорядоченное множество с операциями объединения и пересечения.
- Решетка является ограниченной, если она имеет конечный набор элементов.
- Множество компактных элементов арифметической полной решетки образует ограниченную решетку.
- Большинство частично упорядоченных множеств не являются решетками.
- Морфизмы решеток легко выводятся из алгебраического определения.
- Гомоморфизм решетки должен сохранять бинарные совпадения и объединения.
- Решетки и их гомоморфизмы образуют категорию.
- Подрешетка решетки является подмножеством, которое также является решеткой с теми же операциями соединения.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: