Связь частых замкнутых множеств признаков и ФАП
В сообществе ФАП хорошо известен тот факт, что семейства частых множеств обладают решеточной структурой (см., например, [59]). Приведем определение решетки замкнутых частых множеств признаков.
Определение 2.31 Пусть дан формальный контекст
и множество всех частых замкнутых множеств признаков
для
образует полную решетку, называемую решеткой частых замкнутых множества признаков.
Отметим, что такая решетка изоморфна решетке понятий соответствующего контекста, а ее элементы совпадают с содержаниями понятий. Если задать ограничение на величину поддержки, то мы получим так называемую решетку-айсберг, т.е. верхнюю часть
и формальных понятий см. [72].
