Теоретическая справка

Прямое (декартово) произведение множеств Х и Y – множество упорядоченных пар, таких что:

.

При X=Y множество называется декартовой степеньюмножества Xи обозначается X².

Бинарное отношение на множествах X и Y – произвольное подмножество прямого произведения двух множеств .

Если , то отношение r задано на множестве Х.

Если ,то (x,y) находятся в отношении rили связаны отношением r: .

Область определения D_rбинарного отношения – множество первых элементов каждой упорядоченной пары .

Область значений J_r бинарного отношения – множество вторых элементов каждой упорядоченной пары .