12.6. Tétel

Természetes számok szorzásának disztributivitása

Az N\N halmaz tetszőleges aa, bb és cc elemeire igazak az alábbi összefüggések:

a(b+c)=(ab)+(ac)(a+b)c=(ac)+(bc)\begin{aligned} a\cdot (b+c) &= (a\cdot b) + (a\cdot c) \\ (a+b)\cdot c &= (a\cdot c) + (b\cdot c) \end{aligned}

Másként fogalmazva a \cdot szimbólummal jelölt szorzás disztributív a ++ szimbólummal jelölt összeadásra nézve.