Osittelulaki

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

$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)$

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

Katso myös

• liitännäisyys
• vaihdannaisuus