Для заданного бинарного отношения построение графика, анализ свойств отношения (рефлективности, симметричности, транзитивности, cвязаности) и свойств, унаследованных от соответствий (всюду определенности, функциональности, инъективности, сюрьективности, биективности).