Erlazio hirutar

Matematikan, $R$ erlazio hirutarra $(a,b,c)\in A\times B\times C$ hirukoteen multzoa da, $R$ definitzen duen baldintza jakin bat betetzen dutenak. Hau da:

$R=\{(a,b,c):\;a\in A\land b\in B\land c\in C\land R(a,b,c)=egiazkoa\}$

Adibidea

• Zenbaki arrunten multzoa $\mathbb {N}$ emanda, $S(a,b,c)$ erlazio hirutarra, non $a+b=c$ den, honela definitzen da:

$S=\{(a,b,c):\;(a,b,c)\in \mathbb {N} ^{3}\land (a+b=c)\}$

horren ondorioz hirukoteen multzo hau dugu:

$S=\{(1,1,2),(1,2,3),(2,1,3),(2,2,4),\cdots \}$

Ikus daitekeenez, hau betetzen da:

$S\subset \mathbb {N} \times \mathbb {N} \times \mathbb {N}$