Число допустимых линейных упорядочений частично упорядоченного множества как функция его графа несравнимости

Число лексикографий $m(P, R)$ конечного множества $P$ с антисимметричным транзитивным отношением $R$ однозначно определяется структурой шпернеровых семейств. Если $G(P, R)$ — граф несравнимости, т. е. граф, чьи клики совпадают со шпернеровыми семействами в $(P, R)$, то $m(P, R) = \mu (G (R, R))$, где $\mu$ — функция на графах, рекурсивно определяемая сотношениями: $\mu(G_0)=1$, где $G_0$ — тривиальный граф,
$$ \mu(G)=\max_B\sum_{p\in B}\mu(G\setminus p), $$
где максимум берется по всем кликам $B$ графа $G$. Библ. 8 назв.