9)отношение эквивалентности
10) связь с разбиениями
11) Бинарное отношение ť на мн-ве A(ť Í AxA) наз-ся отношением т олерантности, если оно рефлексивно и симметрично.
12) его связь с покрытием
13) отношение порядка
14) стр-ра упорядоченных мн-в
15) Решётка — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани. Отсюда вытекает существование этих граней для любых непустых конечных подмножеств. Решётка может быть также определена как универсальная алгебра с двумя бинарными операциями (они обозначаются \/и /\ или + и ∙)
Булевы ф-ии
1) функции одной, 2 – х