Решетки
Множества, на которых кроме операций заданы также и отношения, называются алгебраическими системами. Если заданы только отношения, то такие множества называются моделями.
Рассмотрим один очень важный тип алгебраических систем.
Опр. 3.4.1. Решеткой (структурой) называется частично-упорядоченное множество с введенными операциями:
– «меньше»,
– «больше».
Примеры.
1) Любое линейно-упорядоченное множество – решетка;
2) Введем на множестве натуральных чисел отношение
.
Тогда , . Следовательно,
– решетка;
3) Пусть – булеан некоторого множества , тогда
– решетка. ▲
1 | 2 | 3 | 4 | Поиск по сайту:
|