Una relación ternaria R es el subconjunto de los elementos de
que cumplen una determinada condición: Una relación ternaria homogénea
se llama así si para todo
x , y , z
{\displaystyle x,y,z}