Erlazio hirutar

Matematikan,  erlazio hirutarra  hirukoteen multzoa da,  definitzen duen baldintza jakin bat betetzen dutenak. Hau da:

Adibidea 

 Zenbaki arrunten multzoa  emanda,  erlazio hirutarra, non  den, honela definitzen da:
 

horren ondorioz hirukoteen multzo hau dugu:
 

Ikus daitekeenez, hau betetzen da:

Ikus, gainera 

Hirutar