Принято считать, что всякое отношение выражает связи между объектами или, что то же, элементами x, y, … , некоторых множеств A'x, B'y, … . Отношения между двумя элементами xÎA и yÎB называют двухместными или бинарными отношениями. Все такие отношения будем обозначать Ð(x,y), xÎA, yÎB. Отношение Ð (x,y) можно представлять разными способами: описывать словами, изображать чертежами и задавать формулами. Удобным является «язык» множеств. Всякое отношение Ð(x,y) определяет множество P(x,y) упорядоченных пар (x,y) некоторых элементов xÎA и yÎB по следующему правилу:
(x,y) ÎP Û {выполняется Ð (x,y)} (1)
Множество упорядоченных пар (x,y) "xÎA и "yÎB называется декартовым произведением множеств A и B и обозначается A´B.