Отношения и функции.

Определение. Упорядоченной парой (a, b) двух элементов a и b называется множество {{a},{a, b}}.

Для любых элементов a, b, c, d справедливо соотношение:

Определение.

Декартово произведение п равных множеств А будет называться п – й декартовой степенью множества А и обозначаться Аn.

Определение. n – мерным отношением R на непустом множестве А называется подмножество Аn. Если R – n – мерное отношение на множестве А и (а1,а2,…аn)ÎR, то говорят, что отношение R выполняется для элементов а1,а2,…аn и записывают R а1а2…аn. Если n = 2, то такое отношение называется бинарным.

Для бинарного отношения вместо общей записи Ra1a2 применяют запись а1Ra2.