Three numbers x, y, and z are said to be distributive over the operation + if they obey the identity

 

    x(y + z) = xy + xz

 

Compare with associative and commutative.