Additív és disztributív tulajdonságok?

Az a(b+c)= ab+ac egyenlet azt jelöli, hogy a szorzás disztributív az összeadásra. A szorzás egy két változós művelet, tekinthető két változós függvénynek. Az additivitás definíciója azonban nem alkalmazható, mert két változós, és az additív definíciója egy változós függvényekre szól.

Két változó függvényekre azonban:

mul(x, y) = xy

mul((a+b),y) = ay + by = mul(a, y) + mul(b, y)

hasonlóan a második változóra;

azaz mindkét változójában additív.

Tehát nem ugyanazok, de valami közük mégiscsak van egymáshoz.