Отношение ''R'', заданное на множествах <math>A_{1},A_{2},A_{3},\dots, A_{n} </math> называется подмножество прямого произведения этих множеств и обозначается:см. [[Степень отношений]]<math>\langle x_1, x_2, \dots, x_n\rangle\in R, \ x_k \in A_k</math>.
