Пусть задано конечное частично упорядоченное множество с отношением частичного порядка .
Рассмотрим последовательность функций:
При
Определение. Функцией Мёбиуса называется функция, определяющаяся по формуле: .
Теорема о произведении .
Пусть задано
и
;
и
– их функции Мёбиуса. Имеет место следующее равенство: