An [[operation]] <math>\star</math> is said to be '''distributive''' over another operation <math>\circ</math> if for any of the values <math>a</math>,<math>b</math> and <math>c</math>, <math>a \star (b \circ c) = (a \star b) \circ (a \star c)</math>.
is said to be '''distributive''' over another operation <math>\circ</math> if for any of the values <math>a</math>,<math>b</math> and <math>c</math>, <math>a \star (b \circ c) = (a \star b) \circ (a \star c)</math>