Erlazio hirutar

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

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

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

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

horren ondorioz hirukoteen multzo hau dugu:

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

Ikus daitekeenez, hau betetzen da:

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