Mi a ternáris relációk inverze?

Nem igazán értem, amit írsz. Legyen egy alfa reláció, melyben benne van mondjuk minden (a,b,a^b), ahol a és b nemnulla komplex számok, így a hatvány is.

alfa(2,3,8) igaz, de pl. alfa(5,2,20) nem, mert 5^2 = 25 és nem 20.

Ebben az esetben mi az alfa inverz ternáris relációjának a számhármasai?

Itt egy cikk, miszerint lehet ternáris relációkat szorozni:

[link]

A lényeget leírom:

(alfa o béta)(a,b,c) akkor, ha van olyan d, amire alfa(a,b,d) és béta(a,d,c).

Ebből általánosítottam, hogy lehet egy alfa N-edik hatványát venni, de nem tudom, mi van, ha N=-1.

(alfa^oN)(a,b,c), akkor, ha van olyan x[1], x[2], ..., x[n-1], amire alfa(a,b,x[1]) és alfa(a,x[1],x[2]) és alfa(a,x[2],x[3]) és ... és alfa(a,x[n-1],c).

Ezt is természetesen UKristóf neve fémjelzi. :)