Matematikan,
erlazio hirutarra
hirukoteen multzoa da,
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\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2d8eb1962040a4a1a5f6d31cb74029327067380)
- Zenbaki arrunten multzoa emanda, erlazio hirutarra, non den, honela definitzen da:
-
horren ondorioz hirukoteen multzo hau dugu:
-
Ikus daitekeenez, hau betetzen da:
-