Osittelulaki

Osittelulaki on myös distributiivisuutena tunnettu algebrallinen ominaisuus laskuoperaatiolle. Mielivaltaiset laskuoperaatiot $\oplus$$\oplus$ ja $\otimes$$\otimes$ noudattavat osittelulakia tietyssä algebrassa, jos

$a\otimes (b\oplus c)=(a\otimes b)\oplus (a\otimes c)$$a\otimes (b\oplus c)=(a\otimes b)\oplus (a\otimes c)$, ja

$(b\oplus c)\otimes a=(b\otimes a)\oplus (c\otimes a)$$(b\oplus c)\otimes a=(b\otimes a)\oplus (c\otimes a)$

pitävät paikkansa kaikille $a$$a$, $b$$b$ ja $c$$c$.

Katso myös

• liitännäisyys
• vaihdannaisuus