Összeadások, mint relációk szorzata értelmezhető?

1.: Legyen minden (x,y,x+y) eleme +-nak.

Máris értelmeztük az összeadást, mint relációt. :) (x és y legyenek skalárok)

2.: x(poq)z akkor és csak akkor, ha van y, amire xpy és yqz.

Máris értelmeztük a homogén binér relációk szorzatát. :)

A kérdés, hogy hogyan lehetne az összeadás, mint reláció szorzatát önmagával, esetleg a szorzással vagy más művelettel értelmezni?