Matematika-erlazio

Matematikan, $A_1, A_2, \ldots , A_n$ multzoetako $R$ matematika-erlazioa, biderkadura kartesiarraren azpimultzo bat da

$R\subseteq A_1 \times A_2 \times \ldots \times A_n$

Esaterako, erlazio bitarra bi multzoen arteko matematika-erlazioa da.

Erlazioaren kontzeptuak bana-banaka aipatzearen ideia dauka, n-koteak osatzen duten multzoetako hainbat elementuena.

$R(a_1,a_2, \ldots ,a_n) \qquad \mbox{edo baita ere} \qquad (a_1,a_2, \ldots ,a_n) \in R$

Kasu berezia da multzoak berdinak direnean: $A_1 = A_2 = \ldots = A_n$. Kasu horretan $A \times A \times \ldots \times A$ honela adierazten da: $A^n \,$.

$R\subseteq A^n$