Пусть задано конечное частично упорядоченное множество с отношением частичного порядка .

Рассмотрим последовательность функций:

При

Определение. Функцией Мёбиуса называется функция, определяющаяся по формуле: .

Теорема о произведении .

Пусть задано

и

;

и

– их функции Мёбиуса. Имеет место следующее равенство: