Разница между однородным и неоднородным бинарным отношением заключается в следующем:

• Однородное бинарное отношение — это бинарное отношение над множеством и самим собой, то есть подмножество декартова произведения. 1 Например, рёбра любого графа задают однородное бинарное отношение на множестве его вершин. 2
• Неоднородное бинарное отношение — это отношение между разными наборами, то есть это бинарное отношение между различными множествами. 1

Таким образом, однородное отношение — это отношение внутри одного множества, а неоднородное — отношение между разными множествами.

Также неоднородное отношение можно назвать прямоугольным, так как оно не обладает квадратной симметрией однородного отношения на множестве, где A = B. 1