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}$