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\wedge b\in B\wedge c\in C\wedge 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\wedge (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}$