Граф ациклических орграфов

В терминах характеристических функций на множестве всех бинарных отношений множества $X$ вводится понятие бинарного рефлексивного отношения смежности и определяется алгебраическая система, состоящая из всех бинарных отношений множества и из всех неупорядоченных пар смежных бинарных отношений. Если $X$ – конечное множество, то эта алгебраическая система – граф (“граф графов”). Доказано, что диаметр графа бинарных отношений равен 2. Показано, что если $\sigma$ и $\tau$ – смежные отношения, то $\sigma$ – ациклическое отношение (конечный ациклический орграф) тогда и только тогда, когда $\tau$ – ациклическое отношение. Получена явная формула для числа компонент связности графа ациклических отношений.