Мёбиус-функции объединения частичных порядков

Доказана теорема вложения, предназначенная для вычисления Мёбиус-функции локально конечного частично упорядоченного множества.