Бінарним відношенням називається математичний зв'язок між двома об'єктами 

наявність бінарних елементів у множині

множина подівійних пар елементів

підмножина декартового добутку двох множин, яка визначає, які саме пари елементів пов'язані між собою