Любое бинарное отношение <nobr>$\sigma\subseteq X^2$</nobr> (где <nobr>$X$</nobr> – произвольное множество) порождает на множестве <nobr>$X^2$</nobr> характеристическую функцию: если <nobr>$(x,y)\in\sigma$</nobr>, то <nobr>$\sigma(x,y)=1$</nobr>, а иначе <nobr>$\sigma(x,y)=0$</nobr>. В терминах характеристических функций на множестве всех бинарных отношений множества <nobr>$X$</nobr> вводится понятие бинарного рефлексивного отношения смежности и определяется алгебраическая система, состоящая из всех бинарных отношений множества и из всех неупорядоченных пар различных смежных бинарных отношений. Если <nobr>$X$</nobr> – конечное множество, то эта алгебраическая система – граф (“граф графов
бинарное отношение, частичный порядок, конечная топология