Обратимость бинарных функций

Хорошо известны обобщения формулы $\Phi$. Холла для вычисления Мёбиус-функций локально конечных $f$-ацикличных упорядоченных множеств. В работе доказана формула для вычисления Мёбиус-функциц некоторых локальных частично упорядоченных множеств, не являющихся $f$-ацикличными. Ранее известные обобщения формулы $\Phi$. Холла являются следствиями доказанной формулы. Библиогр. 4 назв.