❲ Distributive property §

= generalization of the distributive law, asserting $x(y+z)=xy+xz$